"Математическая логика. Курс лекций и практических занятий" - читать интересную книгу автора (Шапорев С.Д.)