Principles of intuitionism /
A. S. Troelstra.
- Berlin ; Heidelberg ; New York : Springer-Verlag, 1969.
- 111 p. 28 cm.
- Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann 95 .
- Lecture notes in mathematics (Springer-Verlag) ; 95. .
"Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y."