The mathematical analysis of logic Being an essay towards a calculus of deductive reasoning - Boole, George 1815-1864 (Blackwell, 1965)