|
Titre :
|
Logique mathématique
|
|
Titre de série :
|
Logique mathématique, 2
|
|
Auteurs :
|
René Cori, Auteur ;
Daniel Lascar, Auteur ;
Jean-Louis Krivine, Préfacier, etc.
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Malakoff : Dunod, DL 2019
|
|
Collection :
|
Sciences Sup
|
|
ISBN/ISSN/EAN :
|
978-2-10-080770-3
|
|
Format :
|
1 vol. (XV-347 p.) / 24 cm
|
|
Note générale :
|
La couv. porte en plus : "licence 3, master"
Bibliogr. p.323-325. Index
|
|
Langues:
|
Français
|
|
Index. décimale :
|
511.3
|
|
Mots-clés:
|
;
Logique mathématique
|
|
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.
|
