Aide à la recherche   Requête : calcul des prédicats

45 fiches trouvées

Reponses 41 à 45

41	1966 Bulletin de l'APMEP. N° 251. p. 35-48. Eléments de logique dans l'enseignement secondaire des mathématiques.
42	1964 Bulletin de l'APMEP. N° 239. p. 343-358. Les mots et les symboles.
43	1962 Bulletin de l'APMEP. N° 222. p. 155-164. Un exemple d'abstraction, de formalisme et de métathéorie (suite).
44	1962 Lecture commentée d'une méta-démonstration de Gödel : la démonstration, par Kurt Gödel, de la compatibilité de l'axiome du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles.
45	1961 Bulletin de l'APMEP. N° 217. p. 11-26. Un exemple d'abstraction, de formalisme et de métathéorie.