A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated algebraically.