References
Beeson, M. (1979) “A theory of proofs and constructions.” Department of Mathematics, University of Utrecht, Preprint no. 134. 49pp.
Beeson, M. (1981) “Problematic principles in constructive mathematics.” Department of Mathematics, University of Utrecht, Preprint no. 185. 62pp.
Brouwer, L. E. J. (1907) “Over de Grondslagen der Wiskunde.” Ph.D. Thesis, University of Amsterdam. Maas en van Suchtelen, Amsterdam.
Brouwer, L. E. J. (1981) Brouwer's Cambridge Lectures on Intuitionism. D. van Dalen (editor). Cambridge University Press. xii + 109 pp.
Crossley, J. N. (1981) (editor) Aspects of Effective Algebra. Upside Down A Book Company, Victoria, Australia. 290pp.
van Dalen, D. (forthcoming) “Intuitionistic logic.” Handbook of Philosophical Logic Vol. III. D. Reidel, Dordrecht.
Dummett, M. A. E. (1959) “Truth.” Proceedings of the Aristotelian Society (59) pp. 141–162.
Dummett, M. A. E. (1977) Elements of Intuitionism. Clarendon Press, Oxford.
Fourman, M. P. (1977) “The logic of topoi.” Handbook of Mathematical Logic. K. J. Barwise (editor). North-Holland, Amsterdam. pp. 1053–1090.
Fourman, M. P. and D. S. Scott (1979) “Sheaves and logic.” Application of Sheaves. M. P. Fourman, C. J. Mulvey and D. S. Scott (editors). Lecture Notes in Mathematics, no. 753. Springer-Verlag, Berlin. pp. 302–401.
Gielen, W., H. de Swart and W. Veldman (1981) “The continuum hypothesis in intuitionism.” Journal of Symbolic Logic (46) pp. 121–136.
Goldblatt, R. (1979) Topoi. The categorical analysis of logic. North-Holland, Amsterdam.
Goodman, N. D. (1968) “Intuitionistic arithmetic as a theory of constructions.” Ph.D. Thesis, Stanford University. 111 pp.
Goodman, N. D. (1970) “A theory of constructions equivalent to arithmetic.” Intuitionism and Proof Theory. A. Kino, J. Myhill and R.E. Vesley (editors). North-Holland, Amsterdam. pp.101–120.
Howard, W. A. (1980) “The formulae-as-types notion of construction.” To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. J. R. Hindley and J. Seldin (editors). Academic Press, London. pp 479–490.
Heyting, A. (1930a) “Die formalen Regeln der intuitionistischen Logik.” Sitzungsberichte der preussischen Akademie von Wissenschaften. Physikalische-mathematische Klasse. pp. 42–56.
Heyting, A. (1930b) “Die formalen Regeln der intuitionistischen Mathematik II.” Ibid. pp. 57–71
Heyting, A. (1930c) “Die formalen Regeln der intuitionistischen Mathematik III.” Ibid, pp. 158–169.
Heyting, A. (1934) Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Springer, Berlin. iv+74 pp.
Heyting, A. (1956) Intuitionism. An Introduction. North-Holland, Amsterdam.
Johnstone, P. T. (1977) Topos Theory. Academic Press, London.
Kleene, S. C. (1945) “On the interpretation of intuitionistic number theory.” The Journal of Symbolic Logic. (10) pp. 109–124.
Kreisel, G. (1962) “Foundations of intuitionistic logic.” Logic, Methodology and Philosophy of Science. E. Nagel, P. Suppes and A. Tarski (editors). Stanford University Press. pp 198–210.
Kreisel, G. (1965) “Mathematical logic.” Lectures on modern mathematics 3. T. L. Saaty (editor). Wiley, New York. pp 95–195.
Kripke, S. A. (1965) “Semantical analysis of intuitionistic logic I.” Formal Systems and Recursive Functions. J. N. Crossley and M. A. E. Dummett (editors). North-Holland, Amsterdam.
Martin-Löf, P. (1975) “An intuitionistic theory of types; predicative part.” Logic Colloquium '73. G. Rose and J. Shepherdson (editors). North-Holland, Amsterdam. pp. 73–118.
Martin-Löf, P. (1979) “Constructive mathematics and computer programming.” D Department of Mathematics, University of Stockholm, Report no. 11.
McKinsey J. C. C. and A. Tarski (1948) “Some theorems about the sentential calculi of Lewis and Heyting.” The Journal of Symbolic Logic (13) pp. 1–15.
Scott, D. S. (1970) “Constructive Validity.” Symposium on Automatic Demonstration. Lecture Notes in Mathematics, no. 125. Springer-Verlag, Berlin. pp. 237–275.
Smorynski, C. “Applications of Kripke models.” Metamathematical Investigation of Intuitionistic Analysis and Arithmetic. A. S. Troelstra (editor). Springer-Verlag, Berlin. pp. 324–391.
Sundholm, G. (1983) “Constructions, proofs and the meaning of the logical constants.” This volume.
Tait, W. (1981) “Finitism.” The Journal of Philosophy. (78) pp. 524–546.
Tait, W. (1983) “Against intuitionism: constructive mathematics is part of classical mathematics.” This volume.
Troelstra, A. S. (1969) Principles of Intuitionism. Lecture Notes in Mathematics, No. 95. Springer-Verlag. Berlin.
Troelstra, A. S. (editor) (1973) Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Lecture Notes in Mathematics, No. 344. Springer-Verlag, Berlin. 485 pp.
Troelstra, A. S. (1977) Choice Sequences. A Chapter of Intuionistic Mathematics. Clarendon Press, Oxford. 170 pp.
Troelstra, A. S. (1982) “On the origin and development of Brouwer's concept of choice sequence.” Department of Mathematics, University of Amsterdam, Report no. 82-07. 22 pp.
Troelstra, A. S. (1983) “Analysing choice sequences.” This volume.
Weinstein, S. (1983) “The intended interpretation of intuitionistic logic.” This volume.
Rights and permissions
About this article
Cite this article
McCarty, C. Intuitionism: An introduction to a seminar. J Philos Logic 12, 105–149 (1983). https://doi.org/10.1007/BF00247186
Issue Date:
DOI: https://doi.org/10.1007/BF00247186