The calculus of logic - Boole, George, 1815-1864