Type Theory and Formal Proof: An Introduction
+ €8.49 Shipping
Type Theory and Formal Proof: An Introduction
- Brand: Unbranded
Type Theory and Formal Proof: An Introduction
- Brand: Unbranded
14-Day Returns Policy
14-Day Returns Policy
Payment methods:
Description
Type Theory and Formal Proof: An Introduction
- Brand: Unbranded
- Category: Computing & Internet
-
Format: HardBack
-
Language: English
-
Publication Date: 06/11/2014
-
Length: Pages: 490
-
Size: 17.4 x 2.9 x 24.7 cm
-
Publisher / Label: Cambridge University Press
-
Author: Rob Nederpelt , Herman Geuvers
- Fruugo ID: 336517444-740127816
- ISBN: 9781107036505
Delivery & Returns
Dispatched within 10 days
-
STANDARD: €8.49 - Delivery between Wed 04 February 2026–Fri 13 February 2026
Shipping from United Kingdom.
We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items. View full return policy