TY  - BOOK
AU  - Troelstra, A.S., ed.
TI  - Mathematical investigation of institutionstic arithmatic and analysis
T2  - Lecture Notes in Mathematics 344
SN  - 3540064915
U1  - 513 
PY  - 1973///
CY  - Berlin
PB  - Springer-Verlag
ER  -