The calculus of logic by George Boole