Type Theory and Formal Proof: An Introduction

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Read More

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Read Less

• All from $71.20
• New Books from $90.20
• Used Books from $139.56
• eBook from $71.20

• • eBook Details

  	This is a digital edition of this title. Rent eBook 180 Day Rental: $71.20 (Expires Jun 21, 2025) Buy eBook Lifetime Access: $88.99 Title: Type Theory and Formal Proof by Rob Nederpelt; Herman Geuvers Publisher: Cambridge University Press Print ISBN: 9781107036505, 110703650X eText ISBN: 9781316053980 Edition: 2014 Format: EPUB eBook	$71.20 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ