Картинки из квадратов
\
Теоретико-множественная математика
\
Математические системы
\
Категории
\
Топосы. Категорный анализ логики. (Р. Голдблатт, 1983)
\
9.5.6.1.13. Арифметика
Начало см.
здесь
.
Голдблатт Р.
Топосы. Категорный анализ логики.
М.: Мир, 1983, cc. 344 — 369.
К началу данной страницы
Картинки из квадратов
\
Теоретико-множественная математика
\
Математические системы
\
Категории
\
Топосы. Категорный анализ логики. (Р. Голдблатт, 1983)
\
