Title: Logique mathématique, éléments de base
Subjects: Logique symbolique et mathématique, Symbolic and mathematical Logic