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.
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Další autoři: | |
| Médium: | Livre papier |
| Jazyk: | Français |
| Vydáno: |
Paris :
Dunod
DL 2003.
|
| Edice: | Sciences sup. Mathématiques
|
| Témata: | |
| Poznámka: |
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 |
| LEADER | 02666nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 381798 | ||
| 008 | 030129t20032003xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN06945809X | ||
| 020 | |a 2100054538 (br.) : |c 39 EUR | ||
| 020 | |a 9782100807703 (br., tirage 2019) : |c 42,50 EUR | ||
| 024 | |a 9782100054534 | ||
| 024 | |a 9782100807703 | ||
| 041 | 0 | |a fre | |
| 082 | |a 511.3 | ||
| 084 | |a 03Bxx. 2000 | ||
| 100 | 1 | |a Cori, René, |d 1949-...., |c mathématicien. | |
| 240 | 1 | 0 | |a Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : |b cours et exercices corrigés |
| 245 | 1 | 0 | |a Logique mathématique. |n 2, |p Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : |b cours et exercices corrigés |c René Cori,... Daniel Lascar,... ; préface de Jean-Louis Krivine. |
| 260 | |a Paris : |b Dunod, |c DL 2003. | ||
| 300 | |a 1 volume (xv-347 pages) : |b couverture illustrée en couleurs ; |c 24 cm. | ||
| 490 | 1 | |a Sciences sup. Mathématiques | |
| 500 | |a Autres tirages : 2005, 2008, 2011, 2013, 2015, 2017, 2019 (nouvelle présentation) | ||
| 500 | |a Réédition de l'édition originale publiée en 1993 aux Editions Masson dans la collection Axiomes, coordonnée par J.-L. Krivine | ||
| 504 | |a Bibliographie p. [323]-325. Index | ||
| 505 | 0 | |a Chapitre 5. Récursivité -- Chapitre 6. Formalisation de l'arithmétique. Théorèmes de Gödel -- Chapitre 7. Théorie des ensembles -- Chapitre 8. Un peu de théorie des modèles - -- Solutions des exercices du tome II. | |
| 520 | |a 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. | ||
| 521 | |a Publics : étudiants en classes préparatoires, en Licence, et en Master | ||
| 650 | |a Fonctions récursives | ||
| 650 | |a Théorème de Gödel | ||
| 650 | |a Ensembles, Théorie des | ||
| 650 | |a Théorie des modèles | ||
| 650 | |a Manuels d'enseignement supérieur | ||
| 650 | |a Problèmes et exercices | ||
| 700 | 1 | |a Lascar, Daniel, |d 1942- |4 aut | |
| 700 | 1 | |a Krivine, Jean-Louis, |d 1939- |4 aui | |
| 997 | |0 381798 |1 Livre papier |a Ressource papier |b INSA |c 0/Bourges/ |c 0/Orléans/ |c 1/Bourges/BU/ |c 1/Bourges/INSA CVL/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |c 1/Orléans/IDP/ |z Bourges, BU, 511.3 COR |z Orléans, BU Sciences, Technologies, STAPS, B7619-2 |z Orléans, BU Sciences, Technologies, STAPS, B7619-2 |z Orléans, BU Sciences, Technologies, STAPS, 511.3 COR |z Orléans, BU Sciences, Technologies, STAPS, 511.3 COR |z Bourges, INSA CVL, 511.3 COR |z Orléans, IDP, A 7343 COR |z Orléans, IDP, AG GOR3186 | ||