Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
cours, exercices corrigés
Serie :
Logique mathématique. Vol 2
Collection(s) :
Sciences sup
Paru le
04/02/2020 |
Broché XV-347 pages
Licence
45.00 €
Disponible - Expédié sous 4 jours ouvrés
préface de Jean-Louis Krivine
Quatrième de
couverture
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.