Р. Петер

В книге рассматривается переход от n к n+1 как способ определения теоретико-числовых функций, рекурсивные функции и отношения, возвратная рекурсия, одновременная рекурсия, рекурсия по многим переменным, пример теоретико-числовой функции, не являющейся примитивно рекурсивной, рекурсия со вставками, диагональный метод и многократные рекурсии, рекурсии высших ступеней и др. Воспроизведено в оригинальной...