Home > Book
Publisher: Springer
Place: Berlin
Year: 2011
ISBN (Hardback): 9789400717350
Full citation:
Johan G. Granström, Treatise on intuitionistic type theory, Berlin, Springer, 2011
Contents
1-11
13-51
53-76
77-106
107-154
155-173
