Cori, René [in フランス語]; Lascar, Daniel. Logique mathématique II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles.
