Aide à la recherche   Requête : axiomatique formelle

27 fiches trouvées

Reponses 21 à 27

21	2003 Tangente Hors-série. N° 15. Vol. 1. p. 32-34. La chute de la maison Hilbert.
22	2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
23	2003 Tangente Hors-série. N° 15. Vol. 2. p. 18-20. La logique floue.
24	1994 Mathématiques constructives.
25	1994 Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.
26	1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
27	1949 Bulletin de l'APMEP. N° 128. p. 112-114. L'Axiomatique dans l'enseignement.