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