1. Benacerraf, P. (1973). “Mathematical truth”, Journal of Philosophy, 70: 661–679. Also in [Benacerraf et al. 1983 ]: 403–420.
2. Benacerraf, P., and Putnam, H. (eds.) (1983). Philosophy of Mathematics: Selected Readings. Second edition, Cambridge: Cambridge University Press.
3. Brouwer, L. E. J. (1907). Over de Grondslagen der Wiskunde. Academisch Proefschrift, Amsterdam: Maas Sc van Suchtelen, 1907. English Translation: On the Foundations of Mathematics, in [Brouwer 1975 ], vol. 1: 13–101.
4. Brouwer, L. E. J. (1918). “Begründung der Mengenlehre unabhangig vom logischen Satz vom ausgeschlossenen Dritten”, Erster Teil: Allgemeine Mengenlehre. KNAW Verhandelingen$11. sectie 12 no. 5. Also in [Brouwer 1975], vol. 1: 150–190.
5. Brouwer, L. E. J. (1919). `Begründung der Mengenlehre unabhangig vom logischen Satz vom ausgeschlossenen Dritten“, Zweiter Teil: Theorie der Punktmengen. KNAW Verhandelingen$11. sectie 12 no. 7. Also in [Brouwer 1975], vol. 1: 191221.