The mathematical analysis of logic: being an essay towards a calculus of deductive reasoning.
Boole, George.
Cambridge, 
1847.