Intuitionism : an introduction.
Heyting, A. 1898-
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.
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.