TY  - BOOK
AU  - Troelstra A. S. Ed.
TI  - Matamathematical Investigation of Intuitionistic Arithmetic and Analysis
T2  - Lecture notes in mathematics; 344
U1  - B:(R1), L3 
PY  - 1973///
CY  - Berlin
PB  - Springer-verlag         
ER  -