ЧАСТИЧНО РЕКУРСИВНОСТЬ НЕКОТОРЫХ АРИФМЕТИЧЕСКИХ ФУНКЦИИ
Аннотации
в данной статье установлена частичная рекурсивность функций
вычитания, деления и функции.
Также показано, как из данных частично рекурсивных функций можно построить
новые частично рекурсивные функции.