Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
Рекурсивная арифметика Р. Л. Гудстейна
\
9.6.4.8.1. Вступительная статья
Н. А. Шанина
©
9.6.4.8.1.1. Предварительные замечания
9.6.4.8.1.2. Язык арифметики Сколема (ЯАС)
