Books listed by ISBN > Cambridge University Press > Professor Rob Nederpelt

Professor Rob Nederpelt

titleISBN-13
(ISBN-10)		year of publica-
tion		other author(s)
Type Theory and Formal Proof: An Introduction978-1-1O7-O365O-5
(1-1O7-O365O-X)		2014Professor Herman Geuvers

P R · R.N. · Rob Nederpelt

Professor Rob Pope

Emperor pondered
until the sugar considered
and the princes played