Titre :	Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles : Volume 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
Type de document :	texte imprimé
Auteurs :	René Cori, Auteur ; Daniel Lascar (1942-..)
Editeur :	Dunod
Année de publication :	2003
Collection :	Sciences sup
ISBN/ISSN/EAN :	978-2-10-005453-4
Catégories :	Mathématiques Mathématiques:Principes généraux des mathématiques
Mots-clés :	Collège  Scientifiques et techniques et sciences humaines  Logique  Sciences & Techniques  Mathématiques
Index. décimale :	511 Principes généraux des mathématiques
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

Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles : Volume 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-..) . - [S.l.] : Dunod, 2003. - (Sciences sup) .
ISBN : 978-2-10-005453-4

Catégories :	Mathématiques Mathématiques:Principes généraux des mathématiques
Mots-clés :	Collège  Scientifiques et techniques et sciences humaines  Logique  Sciences & Techniques  Mathématiques
Index. décimale :	511 Principes généraux des mathématiques
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