5 stores
Cambridge University Press
Type Theory and Formal Proof: An Introduction
Compared at 5 stores·New
·Updated 1 day ago
Lowest $63.05Highest $88.33
Compare buying options
Five live offers. The cheapest is new.Sold byDetailsSpecial savingsItem price
Product Description
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical mac
Set Price Drop
Get an alert as soon as it’s on sale.
Alert set
Your price
Lowest now$63.05
We’ll let you know when any store drops to your price or lower.
Video reviews
Reviews of this product on YouTube.Just For You
Stores we recommend, with today’s cash back rates.
Activate & ShopeBay
Up to 1.5% Cash Back
10% Off Select Items
Activate & ShopChewy
1% Cash Back
50% Off First Autoship
Activate & ShopTemu
Up to 40% Cash Back
Up to 30% Off Select Items
Activate & ShopAlo Yoga
4% Cash Back
Up to 40% Off Select Items
Activate & ShopWalmart
Up to 12% Cash Back
Up to 65% Off Select Items
Activate & ShopAbeBooks
2.5% Cash Back
Free Shipping For Select Items
Activate & ShopEtsy
3.7% Cash Back
Up to 75% Off Select Items
Activate & ShopThe Home Depot
Up to 8% Cash Back
Up to 40% Off Select Items
Activate & ShopeCampus.com
Up to 4% Cash Back
Activate & Shop2ndSwing
2.5% Cash Back
Activate & ShopBiggerBooks
3.5% Cash Back
7% Off
Activate & ShopSephora
5% Cash Back
Up to 50% Off Select Items