John M. Mack

An Algebraic Introduction to Mathematical Logic