OF all the branches of philosophy, logic alone has had the distinction of being claimed by the exact sciences as one of them. The event is of recent occurrence; in fact, it has happened only since ...

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...