Nantilus
Logique mathématique : 2 Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles cours et exercices corrigés
Ce deuxième 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.
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Autres auteurs : | |
| Format : | Manuel |
| Langue : | français |
| Titre complet : | Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés / René Cori,... Daniel Lascar,...; préface de Jean-Louis Krivine |
| Publié : |
Paris :
Dunod
, DL 2003 |
| Description matérielle : | 1 vol. (XV-347 p.) |
| Collection : | Sciences sup |
| Sujets : |
| LEADER | 03036cam a2200637 4500 | ||
|---|---|---|---|
| 001 | PPN06945809X | ||
| 003 | http://www.sudoc.fr/06945809X | ||
| 005 | 20240604055500.0 | ||
| 010 | |a 2-1000-5453-8 |b br. |d 39 EUR | ||
| 010 | |a 978-2-1008-0770-3 |b br. |b 2019 |d 42,5 EUR | ||
| 035 | |a (OCoLC)492147421 | ||
| 035 | |a DYNIX_BUNAN_497611 | ||
| 073 | 1 | |a 9782100054534 | |
| 073 | 1 | |a 9782100807703 | |
| 100 | |a 20030129h20032003k y0frey0103 ba | ||
| 101 | 0 | |a fre |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a y ja 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | |6 z01 |a nga |2 RDAfrCarrier | ||
| 200 | 1 | |a Logique mathématique |h 2 |i Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles |e cours et exercices corrigés |f René Cori,... Daniel Lascar,... |g préface de Jean-Louis Krivine | |
| 214 | 0 | |a Paris |c Dunod |d DL 2003 | |
| 215 | |a 1 vol. (XV-347 p.) |c couv. ill. en coul. |d 24 cm | ||
| 225 | 0 | |a Sciences sup |i Mathématiques | |
| 305 | |a Autres tirages : 2005, 2008, 2011, 2013, 2015, 2017, 2019 (nouvelle présentation) | ||
| 305 | |a Réédition de l'édition originale publiée en 1993 aux Editions Masson dans la collection Axiomes, coordonnée par J.-L. Krivine | ||
| 312 | |a La couv. porte en plus : "Licence 3, master" | ||
| 320 | |a Bibliogr. p. [323]-325. Index | ||
| 330 | |a Ce deuxième 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. |2 4e de couverture | ||
| 359 | 2 | |b Chapitre 5. Récursivité |b Chapitre 6. Formalisation de l'arithmétique. Théorèmes de Gödel |b Chapitre 7. Théorie des ensembles |b Chapitre 8. Un peu de théorie des modèles - |b Solutions des exercices du tome II. | |
| 410 | | | |0 013680803 |t Sciences sup |x 1636-2217 | |
| 517 | | | |a Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles |e cours et exercices corrigés | |
| 606 | |3 PPN027814688 |a Fonctions récursives |2 rameau | ||
| 606 | |3 PPN027351432 |a Gödel, Théorème de |2 rameau | ||
| 606 | |3 PPN027355330 |a Théorie des ensembles |2 rameau | ||
| 606 | |3 PPN027237869 |a Théorie des modèles |2 rameau | ||
| 606 | |3 PPN040733793 |a Logique |2 fmesh | ||
| 606 | |3 PPN040736776 |a Mathématiques |2 fmesh | ||
| 608 | |3 PPN03020934X |a Manuels d'enseignement supérieur |2 rameau | ||
| 608 | |3 PPN027790517 |a Problèmes et exercices |2 rameau | ||
| 676 | |a 511.3 |v 21 | ||
| 686 | |a 03Bxx |c 2000 |2 msc | ||
| 700 | 1 | |3 PPN056972776 |a Cori |b René |4 070 | |
| 701 | 1 | |3 PPN032332300 |a Lascar |b Daniel |f 1942-.... |4 070 | |
| 702 | 1 | |3 PPN030156149 |a Krivine |b Jean-Louis |f 1939-.... |4 080 | |
| 801 | 3 | |a FR |b Electre |c 20200210 |g AFNOR | |
| 801 | 3 | |a FR |b Electre |c 20200325 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20210128 |g AFNOR | |
| 801 | 3 | |a FR |b Electre |c 20020429 |g AFNOR | |
| 979 | |a SCI | ||
| 930 | |5 441092104:792299493 |b 441092104 |j u | ||
| 998 | |a 4815 | ||