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.
7	2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
8	2002 Le théorème de Gödel.
9	1999 Information, complexité et hasard.
10	1994 Information, complexité et hasard.
11	1994 Quatrième Université d'Eté d'Histoire des Mathématiques.
12	1994 Quatrième Université d'Eté d'Histoire des Mathématiques. Le théorème de Gödel : Enjeux et signification. p. 139-144.
13	1989 Le théorème de Gödel.
14	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.
15	1980 Le théorème de Gödel.
16	1978 Abrégé d'histoire des mathématiques 1700-1900. II.
17	1978 Abrégé d'histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.