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 : |
| Résumé : | 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. |
|---|---|
| Variantes de titre : | Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés |
| Notes : | La couv. porte en plus : "Licence 3, master" |
| Historique des publications : | 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 |
| Bibliographie : | Bibliogr. p. [323]-325. Index |
| ISBN : | 2-1000-5453-8 978-2-1008-0770-3 |