Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции - Верещагин Н. К (Москва, МЦНМО, 1999)