О канонических рекурсивных функциях и операциях

Устанавливается ряд свойств канонических рекурсивных функций и операций, предоставляющих возможность экстраполировать на эти функции и операции предложенный Р. Л. Гудстейном способ построения исчислений равенств.