azhanov, Valentin A. [2011], Mathematical proof as a form of appeal to a scientific community, *Russian Studies in Philosophy*, 50(4), 52–72, doi: 10.2753/RSP1061-1967500404.

Fauconnier, Gilles & Turner, Mark [2002], *The Way We Think*, New York: Basic Books.

Gadamer, Hans-Georg [1979], The problem of historical consciousness, in: *Interpretative Social Science: A reader*, edited by P. Rabinow & W. M. Sullivan, Berkeley: University of California Press, 103–160.

Goguen, Joseph A. [1999], An introduction to algebraic semiotics, with application to user interface design, in: *Computation for Metaphors, Analogy, and Agents*, edited by C. L. Nehaniv, Berlin; Heidelberg: Springer, Lecture Notes in Computer Science, vol. 1562, 242–291, doi: 10.1007/3-540-48834-0_15.

—— [2001], What is a proof?, URL https://cseweb.ucsd.edu/~goguen/papers/proof.html.

—— [2003], Semiotic morphisms, representations, and blending for interface design, in: *Proceedings, AMAST Workshop on Algebraic Methods in Language Processing*, AMAST Press, 1–15, Conference held in Verona, Italy, 25–27 August.

—— [s. d.], Reality and human values in mathematics, URL http://cseweb.ucsd.edu/users/goguen/pps/real.ps.

Goguen, Joseph A. & Harrell, Fox D. [2004], Style as a choice of blending principles, in: *Style and Meaning in Language, Art, Music, and Design*, edited by S. Argamon, S. Dubnov, & J. Jupp, Menlo Park: AAAI Press, 49–56.

—— [2005], Information visualisation and semiotic morphisms, in: *Multidisciplinary Approaches to Visual Representations and Interpretations*, edited by G. Malcolm, Elsevier, Studies in Multidisciplinarity, vol. 2, 83–97, doi: 10.1016/S1571-0831(04)80035-2.

Goguen, Joseph A. & Malcolm, Grant [1996], *Algebraic Semantics of Imperative Programs*, Cambridge, MA: MIT Press.

Guhe, Markus *et al.* [2011], A computational account of conceptual blending in basic mathematics, *Cognitive Systems Research*, 12(3–4), 249–265, doi: 10.1016/j.cogsys.2011.01.004, special Issue on Complex Cognition.

Heelan, Patrick A. [1998], The scope of hermeneutics in natural science, *Studies in History and Philosophy of Science Part A*, 29(2), 273–298, doi: 10.1016/S0039-3681(98)00002-8.

Heiberg, Johan Ludvig (ed.) [1883-1916], *Euclides opera omnia*, Leipzig: Teubner.

Hiller, Edward (ed.) [1878], *Theonis Smyrnaei Philosophi Platonici Expositio rerum mathematicarum ad legendum Platonem utilium*, Leipzig: Teubner.

Hoche, Richard (ed.) [1866], *Nicomachi Geraseni Pythagorei Introductionis Arithmeticae Libri II*, Leipzig: Teubner.

Jakobson, Roman [1960], Closing statement: Linguistics and poetics, in: *Style in Language*, edited by T. Sebeok, Cambridge, MA: MIT Press, 350–377.

Kurosh, Aleksander [1940], Теориыа Грыпп, Moscow: Наука, English translation by K.A. Hirsch:* Theory of Groups*. Vols. 1–2, New York: Chelsea Publishing Company, 1955.

—— [1946], Курс высшей алгебры, Moscow: Наука, English translation by G. Yankovsky, Moscow: Mir Publishers, 1972.

Lakoff, George & Núñez, Rafael E. [2000], *Where Mathematics Comes from: How the Embodied Mind Brings Mathematics into Being*, New York: Basic Books.

Mac Lane, Saunders [1997], Despite physicists, proof is essential in mathematics, *Synthese*, 111(2), 147–154, doi: 10.1023/A:1004918402670.

Spivak, Michael [1967], *Calculus*, New York: W. A. Benjamin.

—— [1969], *A Comprehensive Introduction to Differential Geometry*, Waltham: Brandeis University.

Stefaneas, Petros & Vandoulakis, Ioannis M. [2012], The Web as a tool for proving, *Metaphilosophy*, 43(4), 480–498, doi:10.1111/j.1467-9973.2012.01758.x, reprinted in Halpin, H. and Monnin, A. (eds.) *Philosophical Engineering: Toward a Philosophy of the Web*, Chichester: Wiley-Blackwell 2014, 149–167.

Vandoulakis, Ioannis M. [1998], Was Euclid’s approach to arithmetic axiomatic?, *Oriens–Occidens*, 2, 141–181.

—— [2009], Styles of Greek arithmetic reasoning, *Study of the History of Mathematics RIMS – Kôkyûroku*, 1625, 12–22.

—— [2010], A genetic interpretation of neo-Pythagorean arithmetic, *Oriens–Occidens*, 7, 113–154.

Wittgenstein, Ludwig [1921], *Tractatus Logico-Philosophicus*, London: Routledge, Trans. by D. Pears and B. McGuinness.