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

62.29

Featured

	£ 62.29	To Shop
	£ 62.39	To Shop

Description

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

Compare webshops (2)

Shop

Price

£ 62.29

To Shop

£ 62.39

To Shop

Description (1)

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

Brand	Cambridge University Press
EAN	9781107036505

Prices were last updated on: 18-02-2026, 21:33

Springer

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

Majosta

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

Oxford University Press

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

Featured Choice

£ 62.29

To Shop