Armstrong, D. [1977] Naturalism, materialism and first philosophy, reprinted in his The nature of mind and other essays, Cornell University Press, Ithaca, New York, 1981, pp. 149–165.

Aspray, W., and Kitcher, P. (editors) [1988] History and philosophy of modern mathematics, Minnesota Studies in the Philosophy of Science, vol. 11, University of Minnesota Press, Minneapolis, Minnesota.

Ayer, A. J. [1946] Language, truth and logic, 2nd ed., reprint, Dover, New York, 1952. (The relevant passage is included as *The a priori* in Benacerraf and Putnam [1983], pp. 315–328.)

Beeson, M. [1985] Foundations of constructive mathematics, Springer-Verlag, Berlin.

Benacerraf, P. [1965] *What numbers could not be*, reprinted in Benacerraf and Putnam [1983], pp. 272–294.

Benacerraf, P. [1973] *Mathematical truth*, reprinted in Benacerraf and Putnam [1983], pp. 403–420.

Benacerraf, P., and Putnam, H. (editors) [1983] Philosophy of mathematics, 2nd ed., Cambridge University Press, Cambridge.

Bishop, E., and Bridges, D. [1985] Constructive analysis, Springer-Verlag, Berlin.

Bridges, D., and Richman, F. [1987] Varieties of constructive mathematics, Cambridge University Press, Cambridge.

Brouwer, L. E. J. [1913] *Intuitionism and formalism*, reprinted in Benacerraf and Putnam [1983], pp. 77–89.

Brouwer, L. E. J. [1949] *Consciousness, philosophy, and mathematics*, reprinted in Benacerraf and Putnam [1983], pp. 90–96.

Burgess, J. [1983] Why I am not a nominalist, Notre Dame Journal of Formal Logic, vol. 24, pp. 93–105.

Burgess, J. [198?] Synthetic physics and nominalistic realism, The nature and function of measurement (Savage, C. W. and Ehrlich, P., editors) (to appear).

Burgess, J. [198?a] Epistemology and nominalism, Physicalism in Mathematics (Irvine, A., editor) (to appear).

Carnap, R. [1937] Logical syntax of language, Routledge and Kegan Paul, London.

Carnap, R. [1950] *Empiricism, semantics, and ontology*, reprinted in Benacerraf and Putnam, pp. 241–257.

Chihara, C. [1973] Ontology and the vicious circle principle, Cornell University Press, Ithaca, New York.

Chihara, C. [1982] A Gödelian thesis regarding mathematical objects: Do they exist? And can we perceive them?, Philosophical Review, vol. 91, pp. 211–227.

Cohen, P. [1966] Set theory and the continuum hypothesis, W. A. Benjamin, New York.

Cohen, P. [1971] *Comments on the foundations of set theory*, in Scott [1971], pp. 9–15.

Detlefsen, M. [1986] Hubert's program: an essay on mathematical instrumentalism, Reidel, Dordrecht.

Dummett, M. [1975] *The philosophical basis of intuitionistic logic*, reprinted in Benacerraf and Putnam [1983], pp. 97–129.

Dummett, M. [1977] Elements of intuitionism, Clarendon Press, Oxford.

Feferman, S. [1988] Hubert's program relativized: proof theoretical and foundational reductions, this Journal, vol. 53, pp. 364–384.

Field, H. [1980] Science without numbers, Princeton University Press, Princeton, New Jersey.

Field, H. [1982] *Realism and anti-realism in mathematics*, reprinted in his [1989], pp. 53–78.

Field, H. [1988] *Realism, mathematics and modality*, reprinted in his [1989], pp. 227–281.

Field, H. [1989] Realism, mathematics, and modality, Basil Blackwell, Oxford.

Frege, G. [1884] Foundations of arithmetic (Austin, J. L., translator), 2nd rev. ed., Northwestern University Press, Evanston, Illinois, 1968.

Frege, G. [1903] Grundgesetze der Arithmetik. Vol. 2. Relevant sections are translated in [1970], pp. 182–233.

Frege, G. [1970] Translations from the philosophical writings of Gottlob Frege (Geach, P. and Black, M., editors), Basil Blackwell, Oxford.

Friedman, M. [1988] *Logical truth and analyticity in Carnap's “Logical syntax of language”*, in Aspray and Kitcher [1988], pp. 82–94.

Gödel, K. [1944] *Russell's mathematical logic*, reprinted in Benacerraf and Putnam [1983], pp. 447–469.

Gödel, K. [1947/64] *What is Cantor's continuum problem?*, reprinted in Benacerraf and Putnam [1983], pp. 470–485.

Hellman, G. [1989] Mathematics without numbers, Oxford University Press, Oxford.

Heyting, A. [1931] *The intuitionist foundations of mathematics*, reprinted in Benacerraf and Putnam [1983], pp. 52–61.

Heyting, A. [1966] Intuitionism: an introduction, 2nd rev. ed., North-Holland, Amsterdam.

Hilbert, D. [1926] *On the infinite*, English translations in van Heijenoort [1967], pp. 367–392, and in Benacerraf and Putnam [1983], pp. 183–201.

Hilbert, D. [1928] *The foundations of mathematics*, English translation in van Heijenoort [1967], pp. 464–479.

Hodes, H. [1984] Logicism and the ontological commitments of arithmetic, Journal of Philosophy, vol. 81, pp. 123–149.

Jubien, M. [1977] Ontology and mathematical truth, Noûs, vol. 11, pp. 133–150.

Kim, J. [1981] The role of perception in a priori knowledge, Philosophical Studies, vol. 40, pp. 339–354.

Kitcher, P. [1983] The nature of mathematical knowledge, Oxford University Press, Oxford.

Kitcher, P. [1988] *Mathematical naturalism*, in Aspray and Kitcher [1988], pp. 293–325.

Körner, S. [1960] The philosophy of mathematics, Hutchinson University Library, London.

Kripke, S. [1982] Wittgenstein on rules and private language, Harvard University Press, Cambridge, Massachusetts.

Lear, J. [1977] Sets and semantics, Journal of Philosophy, vol. 74, pp. 86–102.

Maddy, P. [1980] Perception and mathematical intuition, Philosophical Review, vol. 89, pp. 163–196.

Maddy, P. [1988] Believing the axioms. I, II, this Journal, vol. 53, pp. 481–511, 736–764.

Maddy, P. [1988a] Mathematical realism, Midwest Studies in Philosophy, vol. 12, pp. 275–285.

Maddy, P. [198?] Physicalistic Platonism, Physicalism in mathematics (Irvine, A., editor) (to appear).

Maddy, P. [RM] Realism in mathematics, Oxford University Press, Oxford (to appear).

Malament, D. [1982] Review of Field's “Science without numbers”, Journal of Philosophy, vol. 79, pp. 523–534.

Mill, J. S. [1843] A system of logic, excepted in John Stuart Mill's philosophy of the scientific method (Nagel, E., editor), Hafner, New York, 1950, pp. 1–358.

Moschovakis, Y. [1980] Descriptive set theory, North-Holland, Amsterdam.

Parsons, C. [1979/1980] Mathematical intuition, Proceedings of the Aristotelian Society, vol. 80, pp. 145–168.

Parsons, C. [1983] Mathematics in philosophy, Cornell University Press, Ithaca, New York.

Parsons, C. [1983a] *Quine on the philosophy of mathematics*, in his [1983], pp. 176–205.

Putnam, H. [1967] *The thesis that mathematics is logic*, reprinted in his [1979], pp. 12–42.

Putnam, H. [1967a] *Mathematics without foundations*, reprinted in his [1979], pp. 43–59, and in Benacerraf and Putnam [1983], pp. 295–311.

Putnam, H. [1968] *The logic of quantum mechanics*, reprinted in his [1979], pp. 174–197.

Putnam, H. [1971] *Philosophy of logic*, reprinted in his [1979], pp. 323–357.

Putnam, H. [1975] *What is mathematical truth?*, reprinted in his [1979], pp. 60–78.

Putnam, H. [1979] Mathematics, matter and method: philosophical papers, Vol. 1, 2nd ed., Cambridge University Press, Cambridge.

Putnam, H. [1980] *Models and reality*, reprinted in Benacerraf and Putnam [1983], pp. 421–444.

Quine, W. V. O. [1948] *On what there is*, reprinted in his [1980], pp. 1–19.

Quine, W. V. O. [1951] *Two dogmas of empiricism*, reprinted (among many other places) in his [1980], pp. 20–46.

Quine, W. V. O. [1954] *Carnap and logical truth*, reprinted in Benacerraf and Putnam [1983], pp. 355–376.

Quine, W. V. O. [1969] Ontological relativity and other essays, Columbia University Press, New York.

Quine, W. V. O. [1980] From a logical point of view, 2nd rev. ed., Harvard University Press, Cambridge, Massachusetts.

Quine, W. V. O. [1984] Review of Parsons's “Mathematics in Philosophy”, Journal of Philosophy, vol. 81, pp. 783–794.

Resnik, M. [1975] Mathematical knowledge and pattern cognition, Canadian Journal of Philosophy, vol. 5, pp. 25–39.

Resnik, M. [1980] Frege and the philosophy of mathematics, Cornell University Press, Ithaca, New York.

Resnik, M. [1981] Mathematics as a science of patterns: ontology and reference, Noûs, vol. 15, pp. 529–550.

Resnik, M. [1982] Mathematics as a science of patterns: epistemology, Noûs, vol. 16, pp. 95–105.

Resnik, M. [1985] How nominalist is Hartry Field's nominalism?, Philosophical Studies, vol. 47, pp. 163–181.

Resnik, M. [1985a] Ontology and logic: remarks on Hartry Field's anti-platonist philosophy of mathematics, History and Philosophy of Logic, vol. 6, pp. 191–209.

Resnik, M. [198?] A naturalized epistemology for a Platonist mathematical ontology, Philosophica (to appear).

Resnik, M. [198?a] Beliefs about mathematical objects, Physicalism in Mathematics (Irvine, A., editor) (to appear).

Robinson, A. [1975] Concerning progress in the philosophy of mathematics., Logic Colloquium '73, North-Holland, Amsterdam, 1975, pp. 41–52.

Russell, B., and Whitehead, A. N. [1910] Principia mathematica. Vol. 1, excerpted to §56 by Cambridge University Press, Cambridge, 1967.

Scott, D. (editor) [1971] Axiomatic set theory, Proceedings of Symposia in Pure Mathematics, vol. 13, part 1, American Mathematical Society, Providence, Rhode Island.

Shapiro, S. [1983] Conservativeness and incompleteness, Journal of Philosophy, vol. 80, pp. 521–531.

Shapiro, S. [1983a] Mathematics and reality, Philosophy of Science, vol. 50, pp. 523–548.

Simpson, S. [1988] Partial realizations of Hubert's program, this Journal, vol. 53, pp. 349–363.

Steiner, M. [1975] Mathematical knowledge, Cornell University Press, Ithaca, New York.

Steiner, M. [1975a] Review of Chihara's “Ontology and the vicious circle principle”, Journal of Philosophy, vol. 72, pp. 184–196.

Troelstra, A. S., and van Dalen, D. [1988] Constructivism in mathematics. Vol. 1, North-Holland, Amsterdam.

van Heijenoort, J. (editor) [1967] From Frege to Gödel, Harvard University Press, Cambridge, Massachusetts.

Wittgenstein, L. [1922] Tractatus logico-philosophicus, Routledge & Kegan Paul, London.

Wittgenstein, L. [1953] Philosophical investigations, MacMillan, New York.

Wittgenstein, L. [1978] Remarks on the foundations of mathematics, rev. ed. (von Wright, G.et al., editors), MIT Press, Cambridge, Massachusetts.

Wright, C. [1983] Frege's conception of numbers as objects, Aberdeen University Press, Aberdeen.

Zermelo, E. [1908] *A new proof of the possibility of a well-ordering*, English translation in van Heijenoort [1967], pp. 183–198.

Zermelo, E. [1908] *Investigations in the foundations of set theory*. I, English translation in van Heijenoort [1967], pp. 199–215.