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