"An Algebraic Introduction to Mathematical Logic" - читать интересную книгу автора (D.W. Barnes, J.M. Mack)