Title: Éléments de logique contemporaine
Subjects: Symbolic and mathematical Logic, Logic