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

Другие авторы/ответственные: Матиясевич, Ю. В., Слисенко, А. О.
Вид документа: Продолжающиеся издания
Опубликовано: Ленинград : Наука, Ленинградское отделение, 1971
Язык: Русский
Серия: Записки научных семинаров ЛОМИ ; т. 20
Загрузка...