Выдержка из книги
Марченков С.С.
Элементарные рекурсивные функции
В настоящее время имеется довольно много классов элементарных функций. Некоторые из них определены 40 - 50 лет назад и заняли прочное положение в теории рекурсивных функций. Все эти классы имеют индуктивные определения и замкнуты относительно операции суперпозиции и некоторых других эффективных операций. В предлагаемой читателю книге изучаются следующие классы элементарных функций: класс функций, элементарных по Сколему, класс функций, элементарных по Кальмару, начальные классы иерархии Гжегорчика и классы, обобщающие классы Гжегорчика. Кроме того, подробно исследован класс ограниченно арифметических предикатов, который представляет собой фундамент для большинства классов элементарных функций.