Discover new books on Goodreads

See if your friends have read any of Rob Nederpelt's books

Rob Nederpelt

Rob Nederpelt’s Followers (3)

member photo

member photo

member photo

Rob Nederpelt

Combine Editions
Rob Nederpelt’s books

Average rating: 4.62 · 21 ratings · 5 reviews · 7 distinct works

	Type Theory and Formal Proof: An Introduction by Rob Nederpelt, Herman Geuvers 4.62 avg rating — 21 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

More books by Rob Nederpelt…

Is this you? Let us know. If not, help out and invite Rob to Goodreads.