description: 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.
language: French
title: Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
titlecomplete: Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
genres: Mathematics
ratings_count: 6
publisher: DUNOD