An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities - Boole, George (Dover Classics of Science and Mathematics, 1958)