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

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