Aide à la recherche   Requête : "système formel"

1	2015 La logique pas à pas.
2	2013 Introduction à la philosophie des mathématiques.
3	2011 TOUT.
4	2007 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Tout ce que vous avez toujours voulu savoir sur la logique et qu'on n'a jamais voulu vous révéler.
5	2005 Bulletin de l'APMEP. N° 459. p. 462-468. Modélisation et contre-expertise.
6	2003 Repères-IREM, N°50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
7	2002 Le théorème de Gödel.
8	1999 Information, complexité et hasard.
9	1994 Information, complexité et hasard.
10	1994 Quatrième Université d'Eté d'Histoire des Mathématiques.
11	1994 Quatrième Université d'Eté d'Histoire des Mathématiques. Le théorème de Gödel : Enjeux et signification. p. 139-144.
12	1989 Le théorème de Gödel.
13	1988 Didactique et acquisition des connaissances scientifiques. Explicitation et représentation des connaissances des élèves de collège en algèbre. p. 245-257.
14	1980 Le théorème de Gödel.
15	1978 Abrégé d'histoire des mathématiques 1700-1900. II.
16	1978 Abrégé d'histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.