МАТЕМАТИКА

Логика бесконечных задач и модели Крипке на атомных полурешетках множеств

Д. П. Скворцов

Московский государственный университет имени М. В. Ломоносова

УДК: 517.12

Статья представлена к публикации: А. Н. Колмогоров
Поступило: 04.12.1978

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

• 
•