1. Avigad, J. 2008. Understanding proofs. In The philosophy of mathematical practice, ed. Mancosu, 317–353. Oxford: Oxford University Press.
2. ———. 2010. Understanding, formal verification, and the philosophy of mathematics. Journal of Indian Council of Philosophical Research XXVII (1): 165–197.
3. Benacerraf, P. 1965. What numbers could not be. Philosophical Review 74: 47–73 Reprinted in Benacerraf and Putnam eds., 1983, pp. 272–294.
4. Benacerraf, P., and H. Putnam. 1983. Philosophy of mathematics. Englewood Cliffs: Prentice-Hall.
5. Bolzano, B. 1810/1996. Contributions to a better-grounded presentation of mathematics. In From Kant to Hilbert, a Source Book in the Foundations of Mathematics, ed. William Ewald, vol. 1, 174–224. Oxford: Clarendon Press.