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

1	2021 Repères-IREM. N° 123.
2	2021 Repères-IREM. N° 123. p. 49-79. Analyse non standard et mathématiques ordinaires.
3	2020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l'interface des mathématiques et de l'informatique.
4	2020 Repères-IREM. N° 119.
5	2015 Bulletin AMQ. Vol. 55. N° 1. p. 15-38. Logique et enseignement des mathématiques.
6	2009 Games, Puzzles, and Computation.
7	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.
8	2005 L'utilisation des quantificateurs universel et existentiel en première année universitaire entre l'explicite et l'implicite.
9	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.
10	2001 La logique ou l'art de raisonner.
11	1964 Bulletin de l'APMEP. N° 241. p. 53-58. Les mots et les symboles.