Aide à la recherche   Requête : "formalisme logique"

1	2021 Repères-IREM. N° 123. p. 49-79. Analyse non standard et mathématiques ordinaires.
2	2020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l'interface des mathématiques et de l'informatique.
3	2015 Bulletin AMQ. Vol. 55. N° 1. p. 15-38. Logique et enseignement des mathématiques.
4	2009 Games, Puzzles, and Computation.
5	2009 Recherches en didactique des mathématiques. Vol. 29. N° 2. p. 123-154. L'utilisation des quantificateurs universel et existentiel en première année d'université, entre l'explicite et l'implicite.
6	2005 L'utilisation des quantificateurs universel et existentiel en première année universitaire entre l'explicite et l'implicite.
7	2005 Recherches sur l'articulation entre la logique et le raisonnement mathématique dans une perspective didactique. Un cas exemplaire de l'interaction entre analyses épistémologique et didactique.
8	2001 La logique ou l'art de raisonner.
9	1964 Bulletin de l'APMEP. N° 241. p. 53-58. Les mots et les symboles.