Aide à la recherche   Requête : "déduction naturelle"

1	2022 Introduction à la théorie de la démonstration.
2	2015 Actes du 22e colloque de la CORFEM. Pratiques langagières et preuves.
3	2015 La logique pas à pas.
4	2012 Actes du Colloque EMF 2012. Vérité mathématique et validité logique - Perspectives épistémologique et didactique. p. 414-424.
5	2011 Logique et raisonnement.
6	2010 Actes du séminaire national de didactique des mathématiques 2009. La démonstration : une logique en situation ? p. 243-266.
7	2010 Mathématice. N° 20. Une présentation scénarisée du produit de deux entiers relatifs.
8	2009 Vidéo de l'IREM de Paris - Séminaire national de didactique des mathématiques ARDM. La démonstration : une logique en situation ?
9	2003 Recherches en didactique des mathématiques. Vol. 23. N° 3. p. 295-342. Méthodes de raisonnement et leurs modélisations logiques. Spécificité de l'analyse. Quelles implications didactiques ?
10	2001 Histoire et épistémologie dans l'éducation mathématique : de la maternelle à l'université. V. 1.
11	2001 Histoire et épistémologie dans l'éducation mathématique : de la maternelle à l'université. V. 1. About the notion of natural logic: historical and theoretical remarks. p. 203-211.