TY  - BOOK
AU  - Granstrom, Johan Georg
TI  - Treatise on intuitionistic type theory
SN  - 9789400717350
U1  - 121.3 
PY  - 2011///
CY  - Dordrecht
PB  - Springer
KW  - Intuition -- Philosophy
ER  -