Logique mathématique. cours et exercices corrigés 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles :
Ce 2e tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.
שמור ב:
| Auteurs principaux: | , |
|---|---|
| מחברים אחרים: | |
| פורמט: | Livre papier |
| שפה: | Français |
| יצא לאור: |
Paris :
Dunod
DL 2003.
|
| סדרה: | Sciences sup. Mathématiques
|
| נושאים: | |
| הערה: |
Autres tirages : 2005, 2008, 2011, 2013, 2015, 2017, 2019 (nouvelle présentation) Réédition de l'édition originale publiée en 1993 aux Editions Masson dans la collection Axiomes, coordonnée par J.-L. Krivine |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles :, cours et exercices corrigés |
| סיכום: | Ce 2e tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. |
|---|---|
| תאור פריט: | Autres tirages : 2005, 2008, 2011, 2013, 2015, 2017, 2019 (nouvelle présentation) Réédition de l'édition originale publiée en 1993 aux Editions Masson dans la collection Axiomes, coordonnée par J.-L. Krivine |
| תיאור פיזי: | 1 volume (xv-347 pages) : couverture illustrée en couleurs ; 24 cm. |
| קהל: | Publics : étudiants en classes préparatoires, en Licence, et en Master |
| ביבליוגרפיה: | Bibliographie p. [323]-325. Index |
| ISBN: | 2100054538 (br.) : 9782100807703 (br., tirage 2019) : |