RUS
ENG
Полная версия
ЖУРНАЛЫ
// Труды Математического института имени В. А. Стеклова
// Архив
Тр. МИАН СССР,
1967
,
том 93,
страницы
123–141
(Mi tm2830)
Конструктивная математическая логика
Об одном языке конструктивной математики, связанном с системами множеств
Фан Динь Зиеу
Аннотация:
Описывается способ расширения логико-математических языков, введенных H. А. Шаниным (РЖМат, 1959, 9678), позволяющий задавать системы множеств.
Библ. – 8 назв.
УДК:
51.01:164
Полный текст:
PDF файл (2322 kB)
Англоязычная версия:
Proceedings of the Steklov Institute of Mathematics, 1967,
93
,
157–181
Реферативные базы данных:
©
МИАН
, 2024