Рекурсивные функции
Из данного определения и приведенных выше замечаний о сохранении. вычислимости операторами S, R, М легко следует, что всякая частично.
В книге Гудстейн Р. Л. Математическая логика. М.: ИЛ, 1961, с. 149-154. 3. Смальян Р. Теория формальных систем.