Исмаилов, Элдар Умирзакович
(ЕНУ им. Л.Н. Гумилева, 2021)
в данной статье установлена частичная рекурсивность функций
вычитания, деления и функции.
Также показано, как из данных частично рекурсивных функций можно построить
новые частично рекурсивные функции.