In an admirably succinct form, this volume offers a historical view of the development of the calculus of logic, illustrating its beauty, symmetry, and simplicity from an algebraic perspective. Topics include the principles of identity and the syllogism, the principles of simplification and composition; the laws of tautology and of absorption; the distributive law and the laws of duality, double negation, and contraposition; the formulas of De Morgan and Poretsky; Schröder's theorem; sums and products of functions; solution of equations involving one and several unknown quantities; the problem of Boole; Venn diagrams; tables of consequences and causes; and formulas peculiar to the calculus of propositions. 1914 ed.
Here's a sample of other books in this Dover category
A Treatise on the Calculus of Finite Differences by George Boole This classic treatise on the calculus of finite differences offers a thorough discussion of the basic principles of the subject, covering nearly all the major theorems and methods. Over 200 problems. 1872 edition.
Algebraic Theories by Leonard Dickson This in-depth introduction to classical topics in higher algebra provides rigorous, detailed proofs for its explorations of some of mathematics' most significant concepts, including matrices, invariants, and groups. 1926 edition.
