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
Éditeur: Dunod
2019ISBN 9782100807703
Format: BrochéLangue : Français
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.
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)