TY  - BOOK
AU  - Troelstra,Anne Sjerp
TI  - Principles of intuitionism
T2  - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann
PY  - 1969///
CY  - Berlin, Heidelberg, New York
PB  - Springer-Verlag
KW  - Intuitionistic mathematics
N1  - "Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y."; Bibliogr.: p. 108-111
ER  -