Cori, René and Lascar, Daniel. 2003a. Logique Mathématique: 1. Calcul Propositionnel, Algèbre de Boole, Calcul des Prédicats. Sciences Sup. Paris: Dunod.
Cori, René and Lascar, Daniel. 2003b. Logique Mathématique: 2. Fonctions Récursives, Théorème de Gödel, Théorie des Ensembles, Théorie des Modèles. Sciences Sup. Paris: Dunod.