TY  - BOOK
AU  - Troelstra A S
TI  - Principles of intuitionism
U1  - R14, K9 
PY  - 1969///
CY  - New York  
PB  -  Springer Verlag        
ER  -