Aberdein, Andrew (2009), “Mathematics and Argumentation”, *Foundations of Science*, 14 (1-2), pp. 1-8.

Azzouni, Jodi (2004), “The Derivation-Indicator View of Mathematical Practice”, *Philosophia Mathematica*, 12 (3), pp. 81-105.

Barwise, Jon & Etchemendy, John (1991), “Visual information and valid reasoning”, in Zimmerman & Cunningham (eds.), *Visualization in teaching and learning mathematics*, Washington DC, Mathematical Association of America, pp. 9-24; reprinted in Allwein & Barwise (eds., 1996), *Logical Reasoning with Diagrams*, Oxford, Oxford University Press, pp. 3-25.

Bolzano, Bernard (1810), « Beiträge zu einer begründeteren Darstellung der Mathematik », engl. transl. *“Contribution to a better-grounded presentation of mathematics”*, in *The Mathematical Works of Bernard Bolzano*, Oxford University Press, 2004, pp. 83-137.

Bolzano, Bernard (1817), “Rein analytischer Beweis des Lehrsatzes”, engl transl. “A purely analytic proof”, in *The Mathematical Works of Bernard Bolzano*, *op. cit.*, pp. 250-257.

Bolzano, Bernard (1837), *Wissenschaftslehre*, engl transl. *Theory of science*, Oxford, Oxford University Press, 2014.

Carnap, Rudolf (1928), *Der logische Aufbau der Welt*, engl. transl.* The Logical Structure of the World*, University of California Press, 1967.

Chauviré, Christiane (2008), *L’Œil mathématique. Essai sur la philosophie mathématique de Peirce*, Paris, Kimé.

Coleman, Edwin (2009), “The surveyability of long proofs”, *Foundations of Science*, 14 (1-2), pp. 27-43.

Dove, Ian (2009), “Towards a theory of mathematical argument”, *Foundations of Science*, 14 (1-2), pp. 137-152.

Edeline, Francis (2011), « Une image ne démontre pas, elle convainc », *Nouveaux Actes Sémiotiques*, 114.

FREGE, Gottlob (1884), *Grundlagen der Arithmetik*, engl. transl. *Foundations of arithmetic*, Basil Blackwell, 1953.

Giaquinto, Marcus (2007), “From symmetry perception to basic geometry”, in Mancosu *et al*. (eds.), *Visual Thinking in Mathematics*, Oxford, Oxford University Press.

Grabiner, Judith (1974), “Is mathematical truth time-dependent?”, *American Mathematical Monthly*, 81, pp. 354-365.

Hilbert, David (1909), “Gedächtnisrede auf H. Minkowski”, *Nachrichten von der K. Gesellschaft der Wissenschaft zu Göttingen*, in Minkowski H., *Gesammelte Abhandlungen*, vol. I-II, Leipzig, Teubner, pp. V-XXXI, reprinted New York, Chelsea, 1967.

Hintikka, Jaakko (1973), *Logic, Language games and Information*, Oxford, Clarendon Press.

Kant, Immanuel (1781) [CPR], *Kritik der reinen Vernunft*, engl. transl. *Critique of pure reason*, in *The Cambridge Edition of the Works of Immanuel Kant*, Cambridge University Press, 1998.

Krabbe, Erik (2008), “Strategic Maneuvering in Mathematical Proofs”, *Argumentation*, 22, pp. 453-468.

Leclercq, Bruno (2016), “Are there synthetic *a priori* propositions? The paradigmatic case of mathematics, from Kant to Frege and Peirce”, in Vesselin Petrov (ed.), *Mathematics in Philosophy*, Louvain-la-Neuve, Chromatika.

Lemon, Oliver & Pratt, Ian (1997), “Spatial Logic and the Complexity of Diagrammatic Reasoning”, *Machine Graphics and Vision*, 6 (1), pp. 89-108.

Longo, Giuseppe (2005), “The Cognitive Foundations of Mathematics: human gestures in proofs”,* *in Okada *et al.* (eds.), *Images and Reasoning*, Tokio, Keio University Press, pp. 105-134.

Longo, Giuseppe (2010), “Theorems as Constructive Visions”, in Hanna G. & de Villiers M. (eds.), *Proof and Proving in Mathematics Education*, New ICMI Study Series, vol 15, Dordrecht, Springer, pp. 51-66.

Longo, Giuseppe (2011), “Reflections on Concrete Incompleteness”, *Philosophia Mathematica*, 19 (3), pp. 255-280.

Mancosu, Paolo *et al*. (eds., 2005), *Visualization, Explanation and Reasoning Styles in Mathematics*, Berlin, Springer.

Morris, Charles (1938), “Foundations of the theory of signs”, in O. Neurath *et al*. (eds.), *Foundations of the Unity of Science. Towards an International Encyclopedia of Unified Science*, vol. 1, Chicago, University of Chicago Press.

Pease, Alison *et al*. (2009), “Bridging the gap between argumentation theory and the philosophy of mathematics”, *Foundations of Science*, 14 (1-2), pp. 111-135.

Peirce, Charles Sanders (1902), “Carnegie application”, MS L75.

Peirce, Charles Sanders (CP), *Collected Papers of Charles Sanders Peirce*, vols. 1-6, 1931-1935, Charles Hartshorne and Paul Weiss (eds.), vols. 7-8, 1958, Arthur W. Burks (ed.), Harvard University Press, Cambridge, MA.

Peirce, Charles Sanders (W), *Writings of Charles S. Peirce, A Chronological Edition*, Peirce Edition Project (eds.), Indiana University Press, Bloomington and Indianapolis, 1982– .

Rav, Yehuda (1999), “Why do we prove theorems?”, *Philosophia Mathematica*, 7 (3), pp. 5-41.

Rav, Yehuda (2007), “A Critique of Formalist-Mechanist Version of the Justification of Arguments in Mathematician’s Proofs Practices”, *Philosophia Mathematica*, 15, pp. 291-320.

Russell, Bertrand (1903), *Principles of Mathematics*, Cambridge University Press

Russell, Bertrand (1959), *My Philosophical Development*, London, George Allen & Unwin.

Smadja, Ivahn (2012), “Local axioms in disguise: Hilbert on Minkowski diagrams”, *Synthese*, 186 (1), pp. 315-370.

Tappenden, Jamie (2005), “Proof style and understanding in mathematics I: visualization, unification and axiom choice”, in Mancosu *et al*. (eds.), *Visualization, Explanation and Reasoning Styles in Mathematics*, Springer, pp. 147-214.

Weyl, Hermann (1913), *Die Idee der Riemannschen Fläche*, engl. transl. *The concept of a Riemann surface*, Reading (Mass.), Addison-Wesley, 1995.