1302
правки
Изменения
м
→Рекурсивные функции.
\operatorname {one} = S \langle N, Z \rangle \\
\operatorname {mul} = R \langle Z, S \langle\operatorname {plus}, U^3_1, U^3_3 \rangle\rangle \\
\operatorname {pow} = R \langle\operatorname {one}, S \langle\operatorname {mul}, U^3_1, U^3_3 \rangle\rangle \\\operatorname {sign} = R \langle Z, S \langle N, S \langle Z, U^2_1 \rangle\rangle \\
</tex>
