Books listed by ISBN
>
Springer
> Johan Georg Granström
Johan Georg Granström
title
ISBN-13
(ISBN-10)
year of publication
Treatise on Intuitionistic Type Theory
978-94-OO7-1735-O
(94-OO7-1735-O)
2011
g G
·
J. G.
·
J. Georg
Johan Gerrit Hiddink