Dernière parution
Logique mathématique
T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
Collection :
Parution :
février 2020
René Cori, Daniel Lascar
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.