Исследования по конструктивной математике и математической логике. 9: сборник работ / под редакцией Е. Я. Данцина и В. П. Оревкова

Другие авторы/ответственные: Данцин, Е. Я., Оревков, В. П. (род. 1940)
Вид документа: Продолжающиеся издания
Опубликовано: Санкт-Петербург : Наука, 1995
Язык: Русский
Английский
Серия: Записки научных семинаров ПОМИ ; т. 220