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