The mathematical analysis of logic; being an essay towards a calculus of deductive reasoning. - Boole, George, 1815-1864 (B. Blackwell, 1951)