Title: Éléments de logique mathématique
Subjects: Mathematical models, Symbolic and mathematical Logic