TY  - BOOK
AU  - TROELSTRA, A.S
TI  - Mathematical investigation of intuitionistic arithmetic and analysis
U1  - 510.08 T79M 
PY  - 1974///
PB  - Berlin
KW  - MATHEMATICS
KW  - ARITHMETIC
ER  -