The Mathematical Analysis of Logic

Being an Essay Towards a Calculus of Deductive Reasoning

George Boole