An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities / by G. Boole. - Boole, George, 1815-1864 (Dover, 1958)