Books listed by ISBN
>
Cambridge University Press
> Professor Herman Geuvers
Professor Herman Geuvers
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Type Theory and Formal Proof: An Introduction
978-1-1O7-O365O-5
(1-1O7-O365O-X)
2014
Professor Rob Nederpelt
H.G.
·
Herman Geuvers
·
P.G.
·
P. H.
Professor Herman Melville