Intuitionism : an introduction.
Heyting A.
Intuitionism : an introduction. - Amsterdam North-Holland publishing co. 1956 - viii,133 p. Includes bibliographical references and index. cm. - Studies in logic and the foundations of mathematics .
BIbliography :P.123-128; Glossary :133p.
Reference
Intuitionism : an introduction. - Amsterdam North-Holland publishing co. 1956 - viii,133 p. Includes bibliographical references and index. cm. - Studies in logic and the foundations of mathematics .
BIbliography :P.123-128; Glossary :133p.
Reference