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.
