TY  - BOOK
AU  - Troelstra A S
TI  - Principles of Intuitionism
U1  - 511.22 
PY  - 1969///
CY  - Berlin
PB  - Springer-Verlag
KW  - Arithmetics
KW  - Intuitive mathematics
N1  - Lectures Presented at the Summer Conference on Intuitionsm and Proof theory 1968 at Suny at Buffalo,N.Y
ER  -