Books by Rob Nederpelt

Rob Nederpelt
Average rating 4.65 · 20 ratings · 5 reviews · shelved 307 times

Showing 7 distinct works.

	Type Theory and Formal Proof: An Introduction by Rob Nederpelt, Herman Geuvers 4.65 avg rating — 20 ratings — published 2014 — 8 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Type Theory and Formal Proof: An Introduction by Rob Nederpelt, Herman Geuvers 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	A Modern Perspective on Type Theory by F.D. Kamareddine, T. Laan, Rob Nederpelt 0.00 avg rating — 0 ratings — published 2008 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	A Modern Perspective on Type Theory: From Its Origins Until Today by F.D. Kamareddine, T Laan, Rob Nederpelt 0.00 avg rating — 0 ratings — published 2005	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series Book 29) by F.D. Kamareddine, T. Laan, Rob Nederpelt 0.00 avg rating — 0 ratings — published 2004	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	A Modern Perspective on Type Theory: From Its Origins Until Today by Fairouz D. Kamareddine, Twan Laan, Rob Nederpelt 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series Book 29) by F.D. Kamareddine, T. Laan, Rob Nederpelt 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.