Helping to overturn long-standing assumptions, this important 1847 work treats logic as a branch of mathematics, more specifically as algebra.