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)

Auteur principal: Cori, RenéCo-auteur: Lascar, DanielLangue: 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ématiques
Current 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.

Powered by Koha