An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities - Boole, George 1815-1864 (1854)