TY  - BOOK
AU  - Troelstra A S
TI  - Mathematical investigation of instuitionistic arithmetic and analysis
U1  - R14, L3 
PY  - 1973///
CY  - New York  
PB  -  Springer-Verlag      
ER  -