Mots-clés – Auteurs

système formel

Il y a 12 résultats pour cette recherche

2015 La logique pas à pas.
Auteur : Duparc Jacques
2011 TOUT.
Auteur : Delahaye Jean-Paul
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.
Auteur : Lacombe Daniel
2005 Bulletin de l’APMEP. N° 459. p. 462-468. Modélisation et contre-expertise.
Auteur : Bouleau Nicolas
2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
Auteur : Lombardi Henri
2003 Repères-IREM. N° 50.
Auteur : Repères-IREM Comité de rédaction. Dir.
1999 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1994 Quatrième Université d’Eté d’Histoire des Mathématiques.
Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1994 Quatrième Université d’Eté d’Histoire des Mathématiques. Le théorème de Gödel : Enjeux et signification. p. 139-144.
Auteur : Ferréol Gilles
1994 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1978 Abrégé d’histoire des mathématiques 1700-1900. II.
Auteur : Dieudonné Jean. Dir.
1978 Abrégé d’histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.
Auteur : Guillaume Marcel