The main traits of Boole's methodology of logic, and the particular algorithms that form the basis of his 1847 book The Mathematical Analysis of Logic, appeared earlier. Both the methodology leading to the production of his logic and the algorithms used in its development were repeatedly used by Boole in his earlier work in analysis.
Boolean algebra is a mathematical system consisting of three logical operators, AND, OR, and NOT. AND corresponds to multiplication, OR corresponds to division, and NOT does not really have an algebraic equivalent.
- MacHale, Desmond. George Boole: His Life and Work. Dublin: Boole Press, 1985. 304 pp.
- Boole, George and DeMorgan, Augustus. The Boole-De Morgan Correspondence, 1842-1864. ed. by G. C. Smith, 1982.