Treatise on Intuitionistic Type Theory

Type:

e-book

Titel:

Treatise on Intuitionistic Type Theory

Auteur:

Granström, Johan Georg; Granström, Johan Georg

Taal:

Engels

Uitgever:

Springer Netherlands 2011

ISBN:

94-007-1735-0
94-007-3639-8
94-007-1736-9

Permalink:

http://bibtest.howest.be/catalog/ebk03:2670000000084364