At the age of twenty, George Boole taught himself mathematics, then worked his way through the mathematics of his day, published papers in a wide range of mathematical fields, until, in this remarkably accessible seminal work, he laid down postulates and axioms for logic for the first time - just as Euclid had done for geometry. Boolean algebra has become the basis for practical digital circuit design; thus Boole has provided the theoretical grounding for the Information Age. "A classic of pure mathematics and symbolic logic"- Scientific American. "Pure mathematics was discovered by George Boole in his work published in 1854."-Bertrand Russell.