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