Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
9.6.4.8. Рекурсивная арифметика
Р. Л. Гудстейна
9.6.4.8.1. Вступительная статья Н. А. Шанина
9.6.4.8.2. Титульный лист книги
9.6.4.8.3. Предисловие
9.6.4.8.4. Введение
9.6.4.8.5. Определение по рекурсии
9.6.4.8.6. Исчисление равенств
9.6.4.8.7. Логические константы
