в данной статье установлена частичная рекурсивность функций вычитания, деления и функции. Также показано, как из данных частично рекурсивных функций можно построить новые частично рекурсивные функции.