The mathematical analysis of logic; being an essay towards a calculus of deductive reasoning.
Boole, George.
Oxford, 
1948.