Title: Propositional calculus
Subjects: Logique symbolique et mathématique, Symbolic and mathematical Logic