Nearly twenty years after I graduated high school and my last calculus class, I still get that nightmare where I’m at the exam for a calculus course I somehow forgot to attend, or that I faked my way ...

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 ...