Intuitionism : an introduction.
- 2d rev. ed.
- Amsterdam : North-Holland Publishing Company, 1966.
- 136 p. ; 25 cm.
- Studies in logic and the foundation of mathematics .
Bibliography : p. 123-133.
Logic, Symbolic and mathematical. Mathematics--Methodology.