"Роджерс,_Теория_рекурсивных_функций_и_эффективная_вычислимость,1972.pdf" - читать интересную книгу автора