1. Avigad, J. (2006). Mathematical method and proof. Synthese, 153, 105–159.
2. Benacerraf, P. (1965). What numbers could not be. In P. Benacerraf & H. Putnam (Eds.). (1983), Philosophy of mathematics (pp. 77–89). Cambridge: Cambridge University Press.
3. Bolzano, B. (1810). Beiträge Zu Einer Begründeteren Darstellung der Mathematik. Prague: Caspar Widtmann. English translation by Steven Russ in W. Ewald (Ed.). (1996). From Kant to Hilbert: A source book in the foundations of mathematics (Vol. 1, pp. 174–224). New York: Oxford, as “Contributions to a better-grounded presentation of mathematics”.
4. Bolzano, B. (1817). Rein Analytischer Beweis Des Lehrsatzes, Dass Zwischen Je Zwei Werten, Die ein Entgegengesetztes Resultat Gewähren, Wenigstens eine Reelle Wurzel der Gleichung Liege. Gottlieb Haase, Prague. English translation by Steven Russ in W. Ewald (Ed.). (1996). From Kant to Hilbert: a source book in the foundations of mathematics (Vol. 1, pp. 225–248). New York: Oxford, as “Purely analytic proof of the theorem that between any two values which give results of opposite sign there lies at least one, real root of the equation”.
5. Brouwer, L. E. J. (1987). Intuitionism and formalism. In P. Benacerraf, H. Putnam (Eds.), Philosophy of mathematics: Selected readings. (pp. 77–89). New York: Cambridge.