References
Benacerraf, P., “Mathematical Truth”, Journal of Philosophy 70 (1973), 661–679.
Brouwer, L. E. J., “The Unreliability of the Logical Principles”, in Heyting, A. (ed.), L. E. J. Brouwer: Collected Works 1, North-Holland, Amsterdam, 1975, pp. 107–111.
Goodman, N., “A Theory of Constructions Equivalent to Arithmetic”, in Kino Myhill, and Vesley (eds.), Intuitionism and Proof Theory, North-Holland, Amsterdam, 1970, pp. 101–120.
Heyting, A., Intuitionism: An Introduction, North-Holland, Amsterdam, 1966.
Hilbert, D., “On the Infinite”, in Benacerraf and Putnam (eds.), Philosophy of Mathematics: Selected Readings, Prentice-Hall, Englewood Cliffs, 1964, pp. 134–151.
Kleene, S. C., Introduction to Metamathematics, D. Van Nostrand, Princeton, 1950.
Kreisel, G., “Foundations of Intuitionistic Logic”, in Nagel Suppes, and Tarski (eds.), Logic, Methodology, and Philosophy of Science, Stanford University Press, Stanford, 1962, pp. 198–210.
Kreisel, G., “A Survey of Proof Theory II”, in Fenstad, J. E. (ed.), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam, 1971, pp. 109–170.
Author information
Authors and Affiliations
Additional information
I am grateful to David McCarty for useful comments on an earlier draft of this paper.
Rights and permissions
About this article
Cite this article
Weinstein, S. The intended interpretation of intuitionistic logic. J Philos Logic 12, 261–270 (1983). https://doi.org/10.1007/BF00247190
Issue Date:
DOI: https://doi.org/10.1007/BF00247190