Catalogue > Book

SummaryTable of contents

Publication details

Publisher: Springer

Place: Berlin

Year: 2011

ISBN (Hardback): 9789400717350

Full citation:

Johan G. Granström, Treatise on intuitionistic type theory, Berlin, Springer, 2011

Treatise on intuitionistic type theory

Johan G. Granström

Springer

2011

Publication details

Publisher: Springer

Place: Berlin

Year: 2011

ISBN (Hardback): 9789400717350

Full citation:

Johan G. Granström, Treatise on intuitionistic type theory, Berlin, Springer, 2011