Title: Éléments de logique contemporaine
Subjects: Logique, Logique symbolique et mathématique, Problèmes et exercices, Symbolic and mathematical Logic, Problems, exercises