Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Cheapest Price
In stock
Direct debit Direct debit Visa Visa Mastercard Mastercard
£61.39
Delivery from £2.80

Type Theory and Formal Proof: An Introduction

Cheapest Total Price
Usually dispatched within 9 to 10 days
Direct debit Direct debit Visa Visa Mastercard Mastercard
£63.28
Free Delivery

Type Theory and Formal Proof: An Introduction

Overall Rating: 2.4 / 5 (average from multiple review sources, as of 10 Dec 2025)
Based on a total of 45,932 customer reviews from independent review platforms.

Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.

All brand names and logos are the property of their respective owners.

Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
In stock. Express Delivery available with Amazon Prime.
Direct debit Direct debit Visa Visa Mastercard Mastercard
£64.38
Free Delivery

Type Theory and Formal Proof: An Introduction

Usually dispatched within 6 to 7 days
Direct debit Direct debit Visa Visa Mastercard Mastercard
£69.57
Free Delivery

Type Theory and Formal Proof: An Introduction

Usually dispatched within 9 to 10 days
Direct debit Direct debit Visa Visa Mastercard Mastercard
£77.91
Delivery from £6.99

Type Theory and Formal Proof: An Introduction

In stock
Direct debit Direct debit Visa Visa Mastercard Mastercard
£79.20
Free Delivery

Type Theory and Formal Proof: An Introduction

In stock
Direct debit Direct debit Visa Visa Mastercard Mastercard
£81.41
Free Delivery

Type Theory and Formal Proof: An Introduction

Usually dispatched within 8 to 9 days
Direct debit Direct debit Visa Visa Mastercard Mastercard
£87.65
Free Delivery

Type Theory and Formal Proof: An Introduction

Usually dispatched within 9 to 10 days
Direct debit Direct debit Visa Visa Mastercard Mastercard
£87.91
Free Delivery
  • 1
  • 2

🤖 Ask ChatGPT

Type Theory and Formal Proof: An Introduction - Details

▶ Finding you the best price!

We have found 9 prices for Type Theory and Formal Proof: An Introduction. Our price list is completely transparent with the cheapest listed first. Additional delivery costs may apply.

Type Theory and Formal Proof: An Introduction - Price Information

  • Cheapest price: £61.39
  • The cheapest price is offered by Amazon-marketplace.co.uk . You can order the product there.
  • The price range for the product Type Theory and Formal Proof: An Introduction is €£61.39to €£87.91 with a total of 9 offers.
  • Payment methods: The online shop Amazon-marketplace.co.uk supports: Direct debit, Visa, Mastercard
  • Delivery: The shortest delivery time is In stock working days offered by Amazon-marketplace.co.uk .

Similar products

Theory of Type Design
Theory of Type Design
£32.49
Compare 10 prices
Amazon-marketplace.co.uk
Free Delivery
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
£15.45
Compare 10 prices
Amazon-marketplace.co.uk
Delivery from £2.80
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy
£79.45
Compare 10 prices
Amazon-marketplace.co.uk
Delivery from £2.80
Type Theory and Formal Proof: An Introduction

Cheapest offer

Pages: 466, Edition: Illustrated, Hardcover, Cambridge University Press
£61.39
In stock
Amazon-marketplace.co.uk
Don't forget your voucher code: