Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

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.