Johan Georg Granstrm

Johan Georg Granstrm is the author of "Treatise on Intuitionistic Type Theory".

Books by Johan Georg Granstrm

Treatise on Intui...
Granström, Johan Ge...
Paperback: $159.99

Treatise on Intui...
Granström, Johan Ge...
Hardback: $159.99