La lettre de la Preuve |
|
ISSN 1292-8763 |
|
2001 |
Habermas J. (2001) Vérité et justification. Paris : Gallimard. |
2000 |
Balacheff N. (2000) Procesos de prueba en los alumnos de matemáticas. Bogotá: una empresa docente. |
|
Dubinsky Ed (2000) Meaning and formalism in mathematics. International Journal of Computers for Mathematical Learning 3 (5) 211-240. |
|
Duval R. (2000) Ecriture, raisonnement et découverte de la démonstration en mathématiques. Recherches en didactique des mathématiques 20 (2) 135-170 |
|
Lerouge A. (2000) La notion de cadre de rationalité. A propos de la droite au collège. Recherches en didactique des mathématiques 20 (2) 171-208 |
|
Harel G. (2000) The development of mathematical induction as a proof sheme: A model for DNR-based instruction. Unpublished material. |
|
Rossari C. (2000) Connecteurs et relations de discours : des liens entre cognition et signification. Presses Universitaires de Nancy. |
1999 |
Habermas J. (1999) Wahrheit und rechtfertigung. Frankfurt : Suhrkamp Verlag. |
|
Giorgiutti I. (1999) Quelques phénomènes didactiques mis en évidence par l'utilisation du logiciel DEFI. Séminaire de didactique. Université de Rennes 1. |
|
Jackendoff R., Bloom P., Wynn K. (1999) Language, logic and concepts. Cambridge, MA: The MIT Press. |
Archive |
Caferra R., Herment M. (1995) A generic graphic framework for combining inference tools and editing proofs and formulae. Journal of symbolic computation 19, 217-243 |
|
Largeault J. (1992) Intuitionisme et théorie de la démonstration. Paris : Vrin. |
|
Legrand M. (1998) Scientific debate in mathematics course. IREM de Grenoble. |
|
Lynch M. P. (1998) Truth in context. Cambridge, MA: The MIT Press. |
|
Raccah P. Y. (1995) Argumentation and knowledge: from words to terms. In: Proceedings of Languages of Sciences. Bologna. |
|
Robinson R. (1954) Definition. Oxford University Press. |
|
Tannen D. (1998) The argument culture: moving from debate to dialogue. Toronto, Canada: Random House. |
|
|
|
|
|