Logique mathématique. Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés [ Livre] / René, Cori / Daniel, Lascar ; Jean-Louis, Krivine (préface de)
Langue: Français ; de l'oeuvre originale, Français.Publication : Paris : Dunod, 2020Description : 1 vol. (XV-347 p.) ; 24 cmISBN: 9782100807703.Collection: Sciences sup, MathématiquesClassification: F 4 1 Logique mathématiqueRé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..Sujet - Nom commun: Fonctions récursives -- -- Manuels d'enseignement supérieur | Gödel, Théorème de -- -- Manuels d'enseignement supérieur | Fonctions récursives -- -- Problèmes et exercices | Logique | MathématiquesCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | F 4 1 COR (Browse shelf) | Exclu du prêt | F 4 1 Logique mathématique | 041551 | |
ENS Rennes - Bibliothèque Informatique | F 4 1 COR (Browse shelf) | Available | F 4 1 Logique mathématique | 041552 | |
ENS Rennes - Bibliothèque Informatique | F 4 1 COR (Browse shelf) | Available | F 4 1 Logique mathématique | 041553 | |
ENS Rennes - Bibliothèque Informatique | F 4 1 COR (Browse shelf) | Available | F 4 1 Logique mathématique | 041554 |
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.