[Aczel, Amir D. 1997. Fermat’s Last Theorem: Unlocking the Secret of an Ancient Mathematical Problem. Delta (first published 1996).]Search in Google Scholar
[Bashmakova, Izabella and Smirnova Galina. 2000. The Beginnings and Evolution of Algebra. Translated from the Russian by Abe Shenitzer with the editorial assistance of David A. Cox. The Mathematical Association of America.]Search in Google Scholar
[Bazhanov, Valentin A. 2011. “Mathematical Proof as a Form of Appeal to a Scientific Community,” Russian Studies in Philosophy, vol. 50, no. 4 (Spring 2012), pp. 52–72.]Search in Google Scholar
[Davidson, Donald. 1967b, “Causal Relations”, Journal of Philosophy, 64, pp. 691–703; reprinted in: Casati, R., and Varzi, A.C. (eds.), Events, Dartmouth, Aldershot, 1996, pp. 401–13, and in” Davidson, D., Essays on Actions and Events, Oxford: Clarendon Press, 1980, pp. 149–62.]Search in Google Scholar
[Demidov, Sergei S. (Демидов С. С.). 1966. «К истории проблем Гильберта» [On the history of Hilbert’s problems], Историко-математические исследования, 17, pp. 91-122 (in Russian).]Search in Google Scholar
[Demidov, Sergei S. (Демидов С. С.). 2001. ««Математические проблемы» Гильберта и математика XX века» [“Hilbert’s mathematical problems” and mathematics of the 20th century], Историко-математические исследования, 41 (6), pp. 84-99 (in Russian).]Search in Google Scholar
[Fauconnier, Gilles and Mark Turner. 2008. The way we think: Conceptual blending and the mind’s hidden complexities. Basic Books.]Search in Google Scholar
[Goguen, Joseph A. 1999a. “An introduction to algebraic semiotics, with applications to user interface design”. In Nehaniv, C. (ed.), Computation for Metaphors, Analogy and Agents. Springer, pp. 242-291.]Search in Google Scholar
[Goguen, Joseph A. 1999b. “Social and Semiotic Analyses for Theorem Prover User Interface Design”, Formal Aspects of Computing11, pp. 272–301. (Special Issue on User Interfaces for Theorem Provers.)10.1007/s001650050051]Search in Google Scholar
[Goguen, Joseph A. 2001. “What is a proof”, http://cseweb.ucsd.edu/~goguen/papers/proof.html]Search in Google Scholar
[Goguen, Joseph A. 2003. “Semiotic morphisms, representations, and blending for interface design”. Proceedings, AMAST Workshop on Algebraic Methods in Language Processing. AMAST Press. 1–15. Conference held in Verona, Italy, 25-27 August.]Search in Google Scholar
[Goguen, Joseph A. and Harell, D. Fox. 2004a. “Style as a choice of blending principles”. Shlomo Argamon, Shlomo Dubnov, and Julie Jupp (Eds), Style and Meaning in Language, Art Music and Design, AAAI Press, pp. 49-56.]Search in Google Scholar
[Goguen, Joseph A. and Harell, D. Fox. 2004b. “Information Visualization and Semiotic Morphisms,” in Multidisciplinary Approaches to Visual Representations and Interpretations, Grant Malcolm (Ed.) Oxford: Elsevier, pp. 83-98.]Search in Google Scholar
[Goguen, Joseph A. and Harell, D. Fox. 2010. “Style: A Computational and Conceptual Blending-Based Approach”, Shlomo Argamon, Kevin Burns, Shlomo Dubnov (Eds), The Structure of Style. Algorithmic Approaches to Understanding Manner and Meaning. Springer, pp. 291-316.]Search in Google Scholar
[Hales, Alfred, and Robert Jewett. 1963. “Regularity and Positional Games.” Transactions of the American Mathematical Society106, pp. 222–29.]Search in Google Scholar
[Henkin, L. Monk, J.D. and Tarski, A. 1971. Cylindric Algebras, Part I, North-Holland.]Search in Google Scholar
[Heyting, A. (1931) “The intuitionist foundations of mathematics,” reprinted in: P. Benacerraf and H. Putnam (eds) Philosophy of Mathematics: Selected Readings, 2nd ed, Cambridge: Cambridge University Press, 1983, pp. 52–61.]Search in Google Scholar
[Heyting, A. 1955. Les Fondements des Mathématiques. Intuitionnisme. Théorie de la Démonstration. Paris : Gauthier-Villars. Title of the original: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Springer-Verlag, Berlin, 1934.]Search in Google Scholar
[Heyting, A. 1956. Intuitionism: An Introduction, Amsterdam: North-Holland Publishing, 3rd revised edition, 1971.]Search in Google Scholar
[Heyting, A. 1958. “Intuitionism in mathematics”, in: R. Klibansky (ed.), Philosophy in the Mid-Century. A survey (La Nuova Italia Editrice, Firenze) 101-115.]Search in Google Scholar
[Huntington, E.V. 1933a. “New sets of independent postulates for the algebra of logic”, Transactions of American Mathematical Society35, pp. 274-304.]Search in Google Scholar
[Huntington, E.V. 1933b. “Boolean algebra: A correction”, Transactions of American Mathematical Society35, pp. 557-558.]Search in Google Scholar
[Kauffman, Louis H. 1990. “Robbins Algebra”. Proceedings of the Twentieth International Symposium on Multiple Valued Logic. IEE Computer Society Press, pp. 54-60.]Search in Google Scholar
[Kauffman, Louis H. 2001. “The Robbins Problem: computer proofs and human proofs” Kybernetes - The International Journal of Systems and Cybernetics, Gordon Pask Remembered and Celebrated: Part I, Bernard Scott and Ranulph Glanville (eds), 30 (5/6), pp.726-752.]Search in Google Scholar
[Kleene, Stephen Cole. 1945. “On the interpretation of intuitionistic number theory”, Journal of Symbolic Logic, 10, 109-124.]Search in Google Scholar
[Klein, Jacob. 1968. Greek Mathematical Thought and the Origin of Algebra. Translated by Eva Brann from the German original Griechische Logistik und die Entstehung der Algebra. Reprinted by Dover, 1992.]Search in Google Scholar
[Kleiner Israel. 2000. “From Fermat to Wiles: Fermat’s Last Theorem Becomes a Theorem”. Elemente der Mathematik55, pp. 19-37.]Search in Google Scholar
[Kolmogorov, Andrei N. 1932. „Zur Deutung der intuitionistischen Logik“, Mathematische Zeitschrift35, pp. 58–65. English translation in V.M. Tikhomirov (ed.) Selected Works of A.N. Kolmogorov. Vol. I: Mathematics and Mechanics, 151-158. Kluwer, Dordrecht, 1991.]Search in Google Scholar
[Kolmogorov, Andrei N. 1988. “Letters of A. N. Kolmogorov to A. Heyting”, Успехи математических наук (Uspekhi Matematicheskikh Nauk), 43 (6), pp. 75-77; English translation, Russian Mathematical Surveys, 43 (6), pp. 89-93.]Search in Google Scholar
[Kowalski, Robert. 1992. “Database updates in the event calculus”, Journal of Logic Programming, 12, 121-146.]Search in Google Scholar
[Kowalski, Robert and Sergot Marek. 1986 “A Logic-Based Calculus of Events”, New Generation Computing4, pp. 67–95.10.1007/BF03037383]Search in Google Scholar
[McCune, William. 1997. “Solution of the Robbins Problem”, Journal of Automated Reasoning19(3), pp. 263-76.]Search in Google Scholar
[Mac Lane, Saunders. 1997. “Despite Physicists, Proof is Essential in Mathematics”, Synthese111, pp. 147–154.]Search in Google Scholar
[Martin-Löf, Per. 1984. Intuitionistic type theory. (Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980). Napoli, Bibliopolis.]Search in Google Scholar
[Medvedev, Yu. 1962. “Finite problems”, Soviet Mathematics Doklady, 3, 227-230.]Search in Google Scholar
[Polymath. 2009. A New Proof of the Density Hales-Jewett Theorem. At http://arxiv.org/abs/0910.3926, arXiv:0910.3926v2 [math.CO], accessed April 2, 2012.]Search in Google Scholar
[Polymath. 2010a. Deterministic Methods to Find Primes. At http://arxiv.org/abs/1009.3956, arXiv:1009.3956v3 [math.NT], accessed April 2, 2012.]Search in Google Scholar
[Polymath. 2010b. Density Hales-Jewett and Moser Numbers. At http://arxiv.org/abs/1002.0374, arXiv:1002.0374v2 [math.CO], accessed April 2, 2012.]Search in Google Scholar
[Rudin, Walter. 1953. Principles of Mathematical Analysis, New York: McGraw-Hill.]Search in Google Scholar
[Miller, Rob and Shanahan Murray. 1999. “The event-calculus in classical logic — alternative axiomatizations”, Electronic Transactions on Artificial Intelligence3(1), pp. 77-105.]Search in Google Scholar
[Singh, Simon. 1998. Fermat’s Enigma. New York: Anchor Books.]Search in Google Scholar
[Stefaneas, Petros and Vandoulakis, Ioannis. 2012. “The Web as a Tool for Proving” Metaphilosophy. Special Issue: Philoweb: Toward a Philosophy of the Web: Guest Editors: Harry Halpin and Alexandre Monnin. Volume 43, Issue 4, pp. 480–498. Reprinted in: Harry Halpin and Alexandre Monnin (Eds) Philosophical Engineering: Toward a Philosophy of the Web. Wiley-Blackwell, 2014, pp. 149-167.]Search in Google Scholar
[Stefaneas, Petros and Vandoulakis, Ioannis. 2014. Proofs as spatio-temporal processes”, Pierre Edouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister (Eds) “Selected Contributed Papers from the 14th International Congress of Logic, Methodology and Philosophy of Science”, Philosophia Scientiæ, 18(3), pp. 111-125.]Search in Google Scholar
[Stefaneas Petros, Vandoulakis Ioannis, Martínez Maricarmen and Foundalis Harry. 2012. “Web-Based Mathematical Problem-Solving with Codelets”, Computational Creativity, Concept Invention, and General Intelligence Tarek R. Besold, Kai-Uwe Kuehnberger, Marco Schorlemmer, Alan Smaill (Eds.), pp. 38–41.]Search in Google Scholar
[Stefaneas Petros, Vandoulakis Ioannis, Martínez Maricarmen and Foundalis Harry. 2015. “Collective Discovery Events: Web-based Mathematical Problem-solving with Codelets”. In: Tarek R. Besold, Marco Schorlemmer, Alan Smaill (Eds) Computational Creativity Research: Towards Creative Machines. Atlantis Thinking Machines (Book 7) Atlantis/Springer, pp. 371-392.]Search in Google Scholar
[Tieszen, R. L. 1989. Mathematical Intuition: Phenomenology and Mathematical Knowledge, Dordrecht: Kluwer.10.1007/978-94-009-2293-8]Search in Google Scholar
[Tieszen, R. L. 1992. “What is a Proof?” In: Detlefsen, M. (ed.) Proof, Logic and Formalization, London: Routledge. pp. 57–76.]Search in Google Scholar
[Tieszen, R. L. 2000. “Intuitionism, Meaning Theory and Cognition”, History and Philosophy of Logic21, pp. 179–194.]Search in Google Scholar
[Tieszen, R. L. 2005. Phenomenology, Logic, and the Philosophy of Mathematics. Cambridge: Cambridge University Press.10.1017/CBO9780511498589]Search in Google Scholar
[Vandoulakis, Ioannis. 1998. “Was Euclid’s Approach to Arithmetic Axiomatic?” Oriens–Occidens Cahiers du Centre d’histoire des Sciences et des philosophies arabes et Médiévales, 2 (1998), pp. 141-181.]Search in Google Scholar
[Vandoulakis, Ioannis. 2009. “Styles of Greek arithmetic reasoning,” 数学史の研究 Study of the History of Mathematics RIMS 研究集会報告集 Kôkyûroku No 1625, pp. 12-22.]Search in Google Scholar
[Vandoulakis, Ioannis. 2010. “A Genetic Interpretation of Neo-Pythagorean Arithmetic,” Oriens–Occidens Cahiers du Centre d’histoire des Sciences et des philosophies arabes et Médiévales, 7 (2010), pp. 113-154.]Search in Google Scholar
[Vandoulakis, Ioannis. 2015. “On A.A. Markov’s attitude towards Brouwer’s intuitionism”, Pierre Edouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister (Eds) “Proceedings of the 14th Congress of Logic, Methodology and Philosophy of Science”, Philosophia Scientiæ, 19(1), pp. 143-158.]Search in Google Scholar
[Vandoulakis, Ioannis & Stefaneas, Petros. 2013a. “Conceptions of proof in mathematics”, В.А. Бажанов А.Н. Кричевец, В.А. Шапошников (ред.) Доказательство. Очевидность, достоверность и убедительность в математике. [Proof. Evidence, reliability and convincingness]. Труды Московского семинара по философии математики, pp. 256-281.]Search in Google Scholar
[Vandoulakis, Ioannis & Stefaneas, Petros. 2013b. “Proof-events in History of Mathematics”, Gaņita Bhāratī, 35 (1-4), 2013, 257-295.]Search in Google Scholar
[Vandoulakis, Ioannis & Stefaneas, Petros. 2014. “On the semantics of proof-events”, Труды XII Международных Колмогоровских Чтений (Proceedings of the 12th International Kolmogorov Conference), 20-23 May 2014, Yaroslavl’, Russia, pp. 137-144.]Search in Google Scholar
[Winker, Steven K. 1990. “Robbins Algebra: Conditions That Make a Near-Boolean Algebra Boolean”, Journal of Automated Reasoning6(4), pp. 465-489.]Search in Google Scholar
[Winker, Steven K. 1992. “Absorption and idempotency criteria for a problem in near-Boolean algebras”, Journal of Algebra153 (2), pp. 414-423.]Search in Google Scholar
