Avigad, Jeremy

2006 Mathematical method and proof, *Synthese, *153, 105-159. AzzouNi, Jody

2006 *Tracking Reason: Proof, Consequence, and Truth, *Oxford: Oxford University Press.

Bostock, David

1997 *Intermediate Logic, *Oxford: Oxford University Press.

Frege, Gottlob

1884 *Die Grundlagen der Arithmetik. Eine logisch-mathematische Untersuchung ûber den Begriff der Zahl*, Breslau: W. Koebner, cited according to the English translation by J. L. Austin: *The Foundations of Arithmetic*, Evanston, IL: Northwestern University Press, 1980.

1976 *Nachgelassene Schriften und wissenschaftlicher Briefwechsel, *vol. 2, Hamburg: Felix Meiner, cited according to the English translation by Hans Kaal: *Philosophical and Mathematical Correspondence, *G.Gabriel *et al. *(eds.), Chicago: University of Chicago Press, 1980.

Goethe, Norma B. & Friend, Michèle

2010 Confronting ideals of proof with the ways of proving of the research mathematician, *Studia Logica, *96, 277-292.

Goldfarb, Warren

1979 Logic in the twenties: The nature of the quantifier, *The Journal of Symbolic Logic, *44, 351-368.

Hodges, Wilfrid

1985/6 Truth in a structure, in *Proceedings of the Aristotelian Society, *86, 135-141.

Laugwitz, Detlef

1995 Bernhard Riemann 1826-1866: Wendepunkte In der Auffassung der Mathematik, Basel: Birkhaûser, cited according to the English translation by Abe Shenitzer: Bernhard Riemann 1826-1866: Turning Points in the Conception ofMathematics, Basel, Berlin, and Boston: Birkhaûser, 1999.

Macbeth, Danielle

2005 *Frege's Logic, *Cambridge: Harvard University Press.

s. d. Seeing how it goes: Paper-and-pencil reasoning in mathematical practice, *Philosophia Mathematica.*

Manders, Kenneth L.

1987 Logic and conceptual relationships in mathematics, in *Logic Colloquium '85, *North Holland: Elsevier Science, 193-211.

Nagel, Ernest

1939 The formation of modern conceptions of formal logic in the development of geometry, *Osiris, *7, 142-224, cited according to the reprinting in *Teleology Revisited and Other Essays in the Philosophy and History of Science, *New York: Columbia University Press, 1979.

Rav, Yehuda

1999 Why do we prove theorems?, *Philosophia Mathematica, *7, 5-41.

2007 A critique of a formalist-mechanist version of the justification of arguments in mathematicians' proof practices, *Philosophi Mathematica, *15, 291-320.

Rota, Gian-Carlo

1997 The phenomenology of proof, *Synthese, *111, 183-196.

Spivak, Michael

1965 *Calculus on Manifolds, *Reading, Mass.: Addison-Wesley.

Suppes, Patrick

1957 *Introduction to Logic, *New York: Van Nostrand Reinhold, reissued by Mineola, New York: Dover, 1999.

Tappenden, Jamie

2008 Mathematical concepts and definitions, in *The Philosophy of Mathematical Practice, *edited by Mancosu, Paolo, Oxford: Oxford University Press.

Thurston, William

1994 On proof and progress in mathematics, *Bulletin of the American Mathematical Society, *30, 161-177, cited according to the reprinting in *18 Unconventional Essays on the Nature ofMathematics, *Rueben Hersh (ed.), Springer, 2006.

Vervloesem, Koen

2010 Mathematical concepts in computer proofs, in *Philosophical Perspectives on Mathematical Practice, *edited by Van Kerkhove, Bart, De Vuyst, Jonas, & Van Bendegem, Jean Paul, London: College Publications.

Wiedijk, Freek

2008 Formal proof—getting started, *Notices of the AMS, *55(11), 1408—1414.