, Computational Complexity: A Modern Approach, 1986.
, Introduction à l'approche écologique du didactique-L'écologie des organisations mathématiques et didactiques, Actes de la IXème école d'été de didactique des mathématiques, pp.101-139, 1998.
, Experimental approaches to theoretical thinking: artefacts and proofs, Proof and proving in mathematics education, pp.97-143, 2012.
DOI : 10.1007/978-94-007-2129-6_5
, cKc, a model to reason on learners' conceptions, PME-NA 2013-Psychology of Mathematics Education, pp.2-15, 2013.
, L'informatique et son enseignement dans l'enseignement scolaire général français: enjeux de pouvoir et de savoirs, Recherches et expertises pour l'enseignement scientifique, vol.1, pp.79-90, 2011.
DOI : 10.3917/dbu.lebea.2011.01.0079
, Algorithms in real algebraic geometry, 2nd edn. No. v. 10 in Algorithms and computation in mathematics, Systems and software verification: model checking techniques and tools, 2001.
DOI : 10.1007/978-3-662-05355-3
, Exploratory experimentation: Digitally-assisted discovery and proof, Proof and proving in mathematics education, pp.69-96, 2012.
DOI : 10.1007/978-94-007-2129-6_4
URL : http://www.carma.newcastle.edu.au/~jb616/icmi19-full.pdf
, Theory of Didactical Situations in Mathematics, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00699759
, A history of algorithms From the Pebble to the Microchip, 1999.
, Computational discovery in pure mathematics, Computational Discovery of Scientific Knowledge, pp.175-201, 2007.
DOI : 10.1007/978-3-540-73920-3_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.3797
, , 2009.
, Logiques classiques et non classiques : essai sur les fondements de la logique, 1997.
, Jeux de cadres et dialectique outil-objet, Recherches en didactique des mathématiques 7, pp.5-31, 1986.
, Truth versus validity in mathematical proof, ZDM, vol.40, issue.3, pp.373-384, 2008.
DOI : 10.1007/s11858-008-0098-8
URL : https://hal.archives-ouvertes.fr/hal-00804017
, An epistemological and didactic study of a specific calculus reasoning rule, Educational studies in mathematics, vol.60, issue.2, pp.149-172, 2005.
, Über die wissenschaftliche Berechtigung einer Begriffsschrift, Conceptual notation and related articles, vol.81, pp.48-56, 1882.
, Research Situations for teaching : a modelization proposal and examples, Proceedings of ICME 10, vol.82, pp.53-68, 2004.
, Spécificité de la preuve et de la modélisation en mathématiques discrètes, Recherches en didactique des mathématiques, vol.18, issue.2, pp.59-100, 1998.
, Logique, automates, informatique, Logique En Perspective: Mélanges Offerts à Paul Gochet, Ousia, pp.545-577, 2000.
, Curriculum in France. A national frame in transition, International Perspectives on mathematics Curriculum, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01599059
, Algorithmic Problem Solving in Discrete Mathematics, The teaching and learning of Algorithm in school matheViviane, 1998.
, NCTM Yearbook, pp.251-267, 1998.
, An axiomatic basis for computer programming, Commun ACM, vol.12, issue.10, pp.576-580, 1969.
, Enseignement des sciences mathématiques : Commission de réflexion sur l'enseignement des mathématiques, The Influence of computers and informatics on mathematics and its teaching, international commission on mathematical instruction edn. ICMI study series, 1986.
, Trends in Mathematics: How they could Change Education? In: Conférence européenne "The Future of Mathematics Education in Europe, 2007.
, Recherche binaire et méthode de dichotomie, comparaison et enjeux didactiques à l'interface mathématiques-informatique, In: proceedings of EMF, 2018.
, Enseigner l'algorithme pour quoi ? Quelles nouvelles questions pour les mathématiques ? Quels apports pour l'apprentissage de la preuve ? PhD thesis, 2012.
, Modelling algorithmic thinking : the fundamental notion of problem, In: proceedings of CERME, vol.8, 2013.
, Impact of informatics on mathematics and its teaching, History and Philosophy of Computing, pp.243-255, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01615294
, Foundations of the theory of signs, International encyclopedia of unified science, pp.1-59, 1938.
, Discrete mathematics teaching and learning. Encyclopedia of Mathematics Education pp, pp.181-186, 2014.
URL : https://hal.archives-ouvertes.fr/hal-02141142
, L'expérimentation en mathématiques, Petit x, vol.73, pp.6-34, 2007.
, Theories of programming languages, 1950.
, Corps Et Modèles: Essai Sur l'Histoire de l'Algèbre Réelle, 1991.
, Logique : mathématique ordinaire ou épistémologie effective ? In: Hommage à Jean-Toussaint Desanti, 1991.
, An introduction to finite automata and their connection to logic, Modern applications of automata theory, IISc Research Monographs, pp.3-43, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00541028
, The concept of truth in the languages of the deductive sciences. Prace Towarzystwa Naukowego Warszawskiego, Wydzial III Nauk Matematyczno-Fizycznych, vol.34, issue.13, pp.172-198, 1933.
, On the concept of logical consequence, Przegla¸dPrzegla¸d Filozoficzny, vol.39, pp.409-420, 1936.
, Introduction to Logic and to the Methodology of the Deductive Sciences, 1941.
, The semantic conception of truth and the foundations of semantics, Philosophy and Phenomenological Research, vol.4, issue.3, pp.341-376, 1943.
, Contributions to the theory of models, I-II, Indagationes Mathematicae, vol.16, pp.572-588, 1954.
, Contributions to the theory of models, III. Indagationes Mathematicae, vol.17, pp.56-64, 1955.
, Logic, Semantics, Metamathematics: papers from 1923 to 1938. Hackett, tr, J. H. Woodger. Introduction: J. Corcoran, 1983.
, Introduction to Logic and to the Methodology of Deductive Sciences, 1946.
, Languages, automata, and logic, Handbook of formal languages, pp.389-455, 1997.
DOI : 10.1007/978-3-642-59126-6_7
URL : http://www.cs.cornell.edu/Courses/cs6860/2010fa/Handouts/thomas.pdf
, The theory of conceptual fields, Human development, vol.52, issue.2, pp.83-94, 2009.
, Logisch-philosophische abhandlung, 1921.