Principles of intuitionism/
Troelstra, A. S.
Principles of intuitionism/ A. S. Troelstra. - Berlin: Heidelberg: New York: Springer, 1969. - 111 p.: 28 cm. - Lecture notes in mathematics; 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."
Bibliography: p. 108-111.
74088182 //r85
GDB***
Intuitionistic mathematics.
Logica Matematica.
164
Principles of intuitionism/ A. S. Troelstra. - Berlin: Heidelberg: New York: Springer, 1969. - 111 p.: 28 cm. - Lecture notes in mathematics; 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."
Bibliography: p. 108-111.
74088182 //r85
GDB***
Intuitionistic mathematics.
Logica Matematica.
164