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

Сохранено в:
Шифр документа: 116729-20,
Вид документа: Продолжающиеся издания
Опубликовано: Ленинград : Наука, Ленинградское отделение , 1971
Физические характеристики: 294 с. ; 26 см
Язык: Русский
Серия: Записки научных семинаров ЛОМИ т. 20
Загрузка