Investigation of the laws of thought, on which are founder the mathematical theories of logic and probabilities - Boole George (New York Dover, 1854)
Keywords: Mathematical logic; Symbolic logic