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