The calculus of logic

Boole, George, 1815-1864