Публикация: Исследования по конструктивной математике и математической логике
Абстракт
Описание
Ленинград ; Изд. Акад. наук СССР. Математ. инст. им. В. А. Стеклова. Ленингр. отделение