Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
9.6.4.11. Типизация универсума
и типизация языка
Начало см.
здесь
.
9.6.4.11.1. Типы от Рассела до "Паскаля": основные точки зрения (В. Н. Агафонов)
