Title: Traité du losange logique
Subjects: Algebraic logic, Propositional calculus