Compare type theory and formal proof: an introduction products from over 5,000 stores
Type Theory and Formal Proof: An Introduction
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

From

£69.98

To

£94.93

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

Type Theory and Formal Proof: An Introduction

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

Price now:

From

£69.98

To

£94.93

£69.98

Amazon

Shop

£94.93

eBay

Shop

Similar Products

Type Theory and Formal Proof: An Introduction

Amazon

£69.98

View All
Theory of Type Design

Hive Books

£46.69

An Introduction to Formal Logic - Smith, Peter

eBay

£10.67

Ordinal Analysis with an Introduction to Proof Theory - 9789811564611

eBay

£48.63

Theory of Computation

Amazon

£16.23