Р. Петер Рекурсивные функции

Понятие обще-рекурсивной функции занимает одно из центральных мест во всех современных исследованиях по конструктивной математике.

Поэтому является вполне оправданным желание дать этому понятию возможно более полное освещение. Этой цели и служит книга Р.Петер, где в первых пятнадцати параграфах подробно обсуждаются различные более специальные виды «рекурсивных» способов определения числовых функций, а в следующих за общим определением параграфах излагаются основные свойства класса обще-рекурсивных функций, возможные модификации его определения и значение этого класса для различных проблем конструктивной математики.