|
Titre :
|
Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
|
|
Titre de série :
|
Logique mathématique, cours et exercice, 2
|
|
Auteurs :
|
René Cori, Auteur ;
Daniel Lascar, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1993
|
|
Collection :
|
Axiomes
|
|
ISBN/ISSN/EAN :
|
978-2-225-84080-7
|
|
Format :
|
368 p. / 24 x 16 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
515 (Analyse)
|
|
Mots-clés:
|
logique symbolique et mathématique
|
|
Résumé :
|
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. Nombreux exercices corrigés.
|
