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