Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
Типизация универсума и типизация языка
\
9.6.4.11.1. Типы от Рассела до "Паскаля": основные точки зрения (В. Н. Агафонов)
Начало см.
здесь
.
9.6.4.11.1.2. Типизация универсума и языка, функциональные типы
Агафонов В. Н.
Типы от Рассела до "Паскаля": основные точки зрения.
В сборнике:
"Данные в языках программирования".
М.: Мир, 1982, cc. 266 — 267.
9.6.4.11.1.2. Типизация универсума и языка, функциональные типы
К началу данной страницы
Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
Типизация универсума и типизация языка
\
