Восходящая башня роль-типов: глубина, детерминированность вверх по иерархии, вполне-упорядоченность — иерархия есть процесс.
Главы:
- Глава 1. Восходящая башня роль-типов
- Глава 2. Глубина = рунг всеведения
- Глава 3. Детерминированность вверх по иерархии
- Глава 4. Вполне-упорядоченность как процесс над разрешимым
- Глава 5. Синтез: иерархия есть процесс
Том: «Математика» · Направление: Математика