1 - Computers and intractability : a guide to the theory of NP-completeness |
2 - Beginning model theory : the completeness theorem and some consequences |
3 - Cours de logique mathématique. Tome 1 : Relation et formule logique - 2ème édition revue et modifiée |
4 - Cours de logique mathématique. Tome 1 : Relation, formule logique compacité, complétude |
5 - Logique mathématique, cours et exercices. I : calcul propositionnel, algèbres de Boole, calcul des prédicats - 2ème tirage corrigé |