Исследования по конструктивной математике и математической логике. XI
Сборник работ под редакцией М. А. Всемирнова

ISSN 0373-2703
ISSN 0132-6678