Теория рекурсии для проrраммистов

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