Title: Introduction a la logique formelle et symbolique
Subjects: Symbolic and mathematical Logic, Logique, Logique symbolique et mathématique, Problèmes et exercices