Logique mathématique. Vol. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours, exercices corrigés
Auteur(s) :
Cori, René (Auteur), Lascar, Daniel (Auteur)
Editeur(s) :
Dunod
Collection(s) :
Sciences sup
Rayon(s) :
Enseignement
Public(s) :
Licence
Ean :
9782100807703
Date de parution :
04/02/2020
Résumé :
Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de Gödel, la théorie des ensembles ainsi que la théorie des modèles. Chaque chapitre est accompagné de nombreux exercices corrigés. ©Electre 2022
Commandable, envoyé en 4 à 6 jours
45,00 €
Notre librairie est en cours de déménagement. Nous ne sommes pas
en mesure des traiter les commandes actuellement. Veuillez nous
excuser pour la gêne occasionnée.
Livraison à partir de 4 € en France métropolitaine