Rob Nederpelt

Rob Nederpelt’s Followers (2)

member photo

member photo

Rob Nederpelt

Combine Editions
Rob Nederpelt’s books

Average rating: 4.65 · 20 ratings · 5 reviews · 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

More books by Rob Nederpelt…

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