Logique mathématique, cours et exercice. Vol. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Éditeur: Elsevier Masson
1993368 pagesISBN 9782225840807
Format: BrochéLangue : Français
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. Nombreux exercices corrigés.
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)