Title: Regulae ingenii
Subjects: Algebraic logic, Propositional calculus