| Titre de série : |
Logique mathématique, 2 |
| Titre : |
Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles |
| Type de document : |
texte imprimé |
| Auteurs : |
René Cori ; Daniel Lascar (1942-....) ; Jean-Louis Krivine (1939-....), Préfacier, etc. |
| Editeur : |
Paris ; Malakoff (92) : Dunod |
| Année de publication : |
2019 |
| Collection : |
Sciences sup, ISSN 1636-2217  |
| Importance : |
XV-347 p. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-2-10-080770-3 |
| Note générale : |
Bibliogr. p. 323-325. Index |
| Langues : |
Français (fre) |
| Descripteurs : |
Algèbre , Ensembles (Théorie) , Logique mathématique
|
| Tags : |
Fonctions récursives Théorème de Gödel |
| Index. décimale : |
10 Mathématiques générales |
| Résumé : |
Ce 2è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. [D'après le résumé de l'éditeur] |
| Note de contenu : |
Contient des exercices |
| En ligne : |
https://www.dunod.com/sciences-techniques/logique-mathematique-t-2-fonctions-rec [...] |
| Permalink : |
https://genes.bibli.fr/index.php?lvl=notice_display&id=148755 |
|  |
Logique mathématique, 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles / Paris ; Malakoff (92) : Dunod (2019)
