Back to Search Start Over

A. Heyting. Some remarks on intuitionism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 69–71

Authors :
O. Chateaubriand
Source :
Journal of Symbolic Logic. 36:673-674
Publication Year :
1971
Publisher :
Cambridge University Press (CUP), 1971.

Subjects

Subjects :
Philosophy
Logic
Intuitionism
Computer science
Applied mathematics
North holland publishing
Foundations of mathematics
Classics
Mathematics

Details

ISSN :
19435886 and 00224812
Volume :
36
Database :
OpenAIRE
Journal :
Journal of Symbolic Logic
Accession number :
edsair.doi...........4320f53244da11585d15545134104938
Full Text :
https://doi.org/10.2307/2272475
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details