Email Record: Теория рекурсивных функций и эффективная вычислимость