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 - Eine Termlogik mit Auswahloperator |
6 - Formal methods : An introduction to symbolic logic and to the study of effective opeations in arithmetic and logic |
7 - Logique mathématique, cours et exercices. I : calcul propositionnel, algèbres de Boole, calcul des prédicats - 2ème tirage corrigé |
8 - Term logic with choice operator |