Intuitionism : an introduction /
A. Heyting.
- [2nd rev. ed.]
- Amsterdam : North-Holland, 1966
- 136 p. ; 23 cm.
- Studies in logic and the foundations of mathematics .
Previous ed.: 1956.
Bibliography: p. 123-133. - Includes index.
Intuitionistic mathematics. Logic, Symbolic and mathematical. Mathematics--Philosophy.