Antonutti Marfori, Marianna [2010], Informal proofs and mathematical rigour, *Studio, Logica, *96(2), 261-272.

Avigad, Jeremy, Donnelly, Kevin, Gray, David, & Raff, Paul [2007], A formally verified proof of the prime number theorem, *ACM Transactions on Computational Logic (TOOL), *9(1), 1-23.

Azzouni, Jody [2004], The derivation-indicator view of mathematical practice, *Philosophia Mathematica, *12(2), 81-106.

Detlefsen, Michael [2009], Proof: Its nature and significance, in: *Proof and Other Dilemmas: Mathematics and Philosophy, *edited by B. Gold & A. Simons, R. Washington, D.C.: The Mathematical Association of America, 3-32.

Euclid [ana], *The Thirteen Books of Euclid's Elements.*

Fallis, Don [2003], Intentional gaps in mathematical proofs, *Synthese, *134(1), 45-69.

Kitcher, Philip [1981], Mathematical rigor-Who needs it?, *Nous, *15(4), 469-493.

− [1984], The Nature of Mathematical Knowledge, New York: Oxford

University Press.

Leitgeb, Hannes [2009], On formal and informal provability, in: *New Waves in Philosophy of Mathematics, *edited by 0. Linnebo & O. Bueno, New York: Palgrave, Macmillan, 263-299.

Mac Lane, Saunders [1986], *Mathematics: Form and Function, *New York: Springer-Verlag.

Mancosu, Paolo [2008], *The Philosophy of Mathematical Practice, *Oxford: Oxford University Press.

Manders, Kenneth [2008], The Euclidean diagram, in: *Philosophy of Mathematical Practice, *edited by P. Mancosu, Oxford: Oxford University Press, 80-133.

Murzi, Julien [2011], Inferentialism without verificationism: Reply to Prawitz, in: *Logic and Knowledge, *edited by C. Cellucci & E. Ippoliti, Cambridge: Cambridge Scholars Publishing, 285-290.

Pagin, Peter [2012], Assertion, inference, and consequence, *Synthese, *187(3), 869-885.

Pierpont, James [1928], Mathematical rigor, past and present, *Bulletin of the American Mathematical Society, *34, 23-53.

Prawitz, Dag [2009], Inference and knowledge, in: *Logica Yearbook 2008, *edited by M. Pelis, London: College Publications, 175-192.

− [2012a], The epistemic significance of valid inference, *Synthese, *187(3), 887-898.

− [2012b], Validity of inference, in: *Proceedings from the 2nd Launer Symposium on the Occasion of the Presentation of the Launer Prize at Bern 2006*, (to appear).

Rav, Yehuda [1999], Why do we prove theorems?, *Philosophia Mathematica, *7(1), 5-41.

Robinson, John Alan [1997], Informal rigor and mathematical understanding, in: *Computational Logic and Proof Theory, *Heidelberg & New York: Springer, Proceedings of the 5th annual Kurt Godel Colloquium, August 25-29, 1997, 54-64.

van Kerkhove, Bart & van Bendegem, Jean Paul (eds.) [2010], *Perspectives on Mathematical Practices: Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education, *Logic, Epistemology and the Unity of Science, Dordrecht: Springer.