Mack, J. M.: An Algebraic Introduction to Mathematical Logic