RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды Математического института имени В. А. Стеклова // Архив

Тр. МИАН СССР, 1967, том 93, страницы 123–141 (Mi tm2830)

Конструктивная математическая логика

Об одном языке конструктивной математики, связанном с системами множеств

Фан Динь Зиеу


Аннотация: Описывается способ расширения логико-математических языков, введенных H. А. Шаниным (РЖМат, 1959, 9678), позволяющий задавать системы множеств.
Библ. – 8 назв.

УДК: 51.01:164


 Англоязычная версия: Proceedings of the Steklov Institute of Mathematics, 1967, 93, 157–181

Реферативные базы данных:


© МИАН, 2024