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