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