Text this: Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления