Intuitionism : an introduction /
Heyting, Arend, 1898-
Intuitionism : an introduction / Arend Heyting - Amsterdam : North-Holland Pub. Co., , 1956 - 132p. ; 22 cm. - studies in logic and the foundations of mathematics ; .
Bibliography: p. 123-129.
Logic, Symbolic and mathematical.
Mathematics--Methodology.
164 HEY
Intuitionism : an introduction / Arend Heyting - Amsterdam : North-Holland Pub. Co., , 1956 - 132p. ; 22 cm. - studies in logic and the foundations of mathematics ; .
Bibliography: p. 123-129.
Logic, Symbolic and mathematical.
Mathematics--Methodology.
164 HEY