Книга посвящена изложению основ раздела теории алгоритмов. Такой переход расширяет возможности применения хорошо разработанного раздела теории алгоритмов - теории рекурсивных функций. (Подробнее)