TY  - BOOK
AU  - Troelstra A S
TI  - Mathematical investigation of intuitionistic arithmetic and analysis
U1  - 513 
PY  - 1973///
CY  - Berlin
PB  - Springer-Verlag
KW  - Intuitionistic arithmatic
ER  -