"О сводимостях частично-рекурсивных функций" - читать интересную книгу автора (Дегтев А. Н., Сакунова Е. С.)