Back to Search Start Over

A. S. Troelstra. Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N. Y. Lecture notes in mathematics, no. 95. Springer-Verlag, Berlin, Heidelberg, and New York, 1969, 111 pp

Authors :
Joan Rand Moschovakis
Source :
Journal of Symbolic Logic. 40:447-448
Publication Year :
1975
Publisher :
Cambridge University Press (CUP), 1975.

Subjects

Subjects :
Philosophy
Logic
Intuitionism
Proof theory
Computer science
Mathematics education

Details

ISSN :
19435886 and 00224812
Volume :
40
Database :
OpenAIRE
Journal :
Journal of Symbolic Logic
Accession number :
edsair.doi...........7485b0831e01dddcea45a45197df4e6e
Full Text :
https://doi.org/10.2307/2272170
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details