Title: A digitalization, systematization and formulation of the theory and methods of the propositional calculus
Subjects: Boolean Algebra