Type Theory and Formal Proof: An Introduction

Name: Type Theory and Formal Proof: An Introduction
Brand: Cambridge University Press
SKU: 141945d0e5b523ee6103ad51b39c9d09

1/1

Prices from

59.20

Featured

Description

Amazon Marketplace Pages: 466, Edition: Illustrated, Hardcover, Cambridge University Press

Compare webshops (2)

Shop

Price

£ 59.20

To Shop

£ 70.00

To Shop

Description (2)

Amazon Marketplace

Pages: 466, Edition: Illustrated, Hardcover, Cambridge University Press

Amazon

Type Theory and Formal Proof: An Introduction

Brand	Cambridge University Press
EAN	9781107036505

Springer

An Introduction To Mathematical Logic and Type Theory: Truth Through Proof (Applied...

Theory of Automata and Formal Languages: An Introduction to Systems Computational

Oxford University Press

An Introduction to Proof Theory: Normalization, Cut Elimination, and Consistency Proofs

Routledge

Psychology and Freudian Theory: An Introduction