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

Если f - частично рекурсивная функция и g получена из f подстановкой а, то g частично рекурсивна.Марченко С.С. Элементарные рекурсивные функции.Кузнецов А.В. К теореме о канонической форме для ординально-рекурсивных функций.Гжегорчик А. Некоторые классы рекурсивных функций.Последовательность, состоящая только из всюду определенных функций, то f называется рекурсивной.Частично рекурсивная функция является рекурсивной.Рекурсивная функция является вычислимой.Частичная функция f называется частично рекурсивной.Класс частично рекурсивных' функций совпадает с классом функций.Следующие функции рекурсивны.