Herman Geuvers Rob Nederpelt · Professor Rob Nederpelt · R.N.
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| A Modern Perspective on Type Theory: From its Origins until Today | 978-1-4020-2334-7 (1-4020-2334-0) | 2004 | F.D. Kamareddine · T. Laan |
| Logical Reasoning: A First Course | 978-0-9543006-7-8 (0-9543006-7-X) | 2004 | Fairouz Kamareddine |
| Type Theory and Formal Proof: An Introduction | 978-1-107-03650-5 (1-107-03650-X) | 2014 | Herman Geuvers |
Cambridge University Press · College Publications · Springer