История
18 января 2013
→Основные определения
+285
→Арифметические операции на примитивно рекурсивных функциях
-32
→Арифметические операции на примитивно рекурсивных функциях
-2
→Арифметические операции на примитивно рекурсивных функциях
+10
→Арифметические операции на примитивно рекурсивных функциях
+4
→Операции сравнения
+1
→Операции сравнения
+1
→Операции сравнения
+82
→Операции сравнения
+14
→Операции сравнения
-5
→Операции сравнения
+1
→Вычитания
+5
→Умножения
→Сложения
→Сложения
+4
Отмена правки 30273 участника 194.85.161.2 (обсуждение)
-5
Отмена правки 30272 участника 194.85.161.2 (обсуждение)
+5
→Умножения
-5
→Сложения
+4
→Сложения
+1
→\textbf 0^n - n -местный ноль
-3
→Арифметические операции на примитивно рекурсивных функциях
+596
→Операции сравнения
+10
→Равенство
+106
→Арифметические операции на примитивно рекурсивных функциях
+174
→Деление
+38
→Деление
+1
→Деление
+1
→Деление
+143
→Деление
+69
→Деление
+1
→Деление
+2
→Арифметические операции на примитивно рекурсивных функциях
+64
Нет описания правки
+73
→Основные определения
+1
→Основные определения
+13
→Основные определения
+483
→Вычитания
+186
→Арифметические операции на примитивно рекурсивных функциях
+365
→Примитивно рекурсивные функции
+472
Нет описания правки
+110
→Примитивно рекурсивные функции
+542
Новая страница: «{{В разработке}} Все рассматриваемые здесь функции действуют из подмножества <tex> \mathbb {N}^t ...»
+1320