Books listed by ISBN
>
Cambridge University Press
> Herman Geuvers Rob Nederpelt
Herman Geuvers Rob Nederpelt
title
ISBN-13
(ISBN-10)
year of publication
Type Theory and Formal Proof
978-1-1O7-O365O-5
(1-1O7-O365O-X)
2014
G. N.
·
H.G.
·
H.N.
·
Herman Geuvers
·
R.N.
·
Rob Nederpelt
Herman Gewirtz