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 -