Type Theory and Formal ProofRob Nederpelt
Type Theory and Formal Proof
Rob Nederpelt, Herman Geuvers · 2014
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2014
- Language
- English
- Publisher
- Cambridge University Press
- Editions
- 4
- Pages
- 466
- ISBN
- 9781107036505
Data source: Wikidata