Title: Introduction mathématique à la logique
Subjects: Boolean Algebra, Propositional calculus