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

64.99

Featured

	£ 64.99	To Shop
	£ 70.00	To Shop

Description

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

Compare webshops (2)

Shop

Price

£ 64.99

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

Prices were last updated on: 08-06-2026, 02:46

Springer

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

Springer

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

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

Featured Choice

£ 64.99

To Shop