Рекурсивные функции Гёделя
Светлая тема
Редактор функций
sum(x, y) = prim_rec(proj1_1(x), proj3_3(x, y, z), proj2_2(y))
Аргументы
Управление
Старт
Сброс
Шаги:
0
Время:
0.0с
Глубина:
0
Дерево рекурсивных вызовов
Трассировка вычислений