Intuitionism : an introduction /
Heyting, A. 1898-
Intuitionism : an introduction / A. Heyting. - 3rd rev. ed. - Amsterdam : North-Holland Publishing, 1971. - 145 p. ; 23 cm. - Studies in logic and the foundations of mathematics . - Studies in logic and the foundations of mathematics. .
Includes bibliography : 127-141 and index
0720422396
Intuitionistic mathematics.
Intuitionism : an introduction / A. Heyting. - 3rd rev. ed. - Amsterdam : North-Holland Publishing, 1971. - 145 p. ; 23 cm. - Studies in logic and the foundations of mathematics . - Studies in logic and the foundations of mathematics. .
Includes bibliography : 127-141 and index
0720422396
Intuitionistic mathematics.
