Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
Рекурсивная арифметика Р. Л. Гудстейна
\
9.6.4.8.5. Определение по рекурсии
©
9.6.4.8.5.1. Сложение
9.6.4.8.5.2. Умножение
9.6.4.8.5.3. Возведение в степень
9.6.4.8.5.4. Вычитание
9.6.4.8.5.5. Стандартизированные обозначения
9.6.4.8.5.1. Сложение
9.6.4.8.5.2. Умножение
9.6.4.8.5.3. Возведение в степень
9.6.4.8.5.4. Вычитание
9.6.4.8.5.5. Стандартизированные обозначения
