Sell, buy or rent Herman Geuvers textbooks

9781107036505-110703650X-Type Theory and Formal Proof: An Introduction
9781107036505-110703650X-Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

by Rob Nederpelt, Herman Geuvers
ISBN-13: 9781107036505
ISBN-10: 110703650X
Edition: 1
Publication date: 2014
Publisher: Cambridge University Press
Format: Hardcover 466 pages
Sell Buy from $81.05 Rent from $56.19 eBook from $71.20
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.