Intuitionism : an introduction
Heyting, A.
Intuitionism : an introduction A. Heyting - Amsterdam : North-Holland Publishing Company, 1956. - 132 p. ; 22 cm. - Studies in logic and the foundations of mathematics. .
Includes bibliography and index.
Intuitionistic mathematics
Logic, Symbolic and mathematical
Mathematics--Philosophy
510.1 HEY
Intuitionism : an introduction A. Heyting - Amsterdam : North-Holland Publishing Company, 1956. - 132 p. ; 22 cm. - Studies in logic and the foundations of mathematics. .
Includes bibliography and index.
Intuitionistic mathematics
Logic, Symbolic and mathematical
Mathematics--Philosophy
510.1 HEY