Файлы
Обратная связь
Для правообладателей
Найти
Пономарев И.Н. Введение в математическую логику и роды структур
Файлы
Академическая и специальная литература
Математика
Математическая логика
Назад
Скачать
Подождите немного. Документ загружается.
Г
Л
А
В
А
3
РО
ДЫ
СТРУКТУР
§
3.1.
Типизации
и
биективная
переносимость
1.
Схема
конструкции
ступени
(по
Павловскому
[16,
17])
есть
выраж
ение,
определяемое
следующим
образом:
1)
индек
с
1
есть
с
х
ема
к
онструкции
ступени;
2)
если
‹
1
2
...
16
17
18
19
20
21
22
...
24
25
›
