"Лекции по математической логике, Языки и исчисления" - читать интересную книгу автора (Верещагин Н.К., Шень А.)