Исследования по конструктивной математике и математической логике. 7: сборник работ / под редакцией Ю. В. Матиясевича и А. О. Слисенко
Сохранено в:
| Вид документа: | |
|---|---|
| Опубликовано: | Ленинград : Наука, Ленинградское отделение , 1976 |
| Физические характеристики: |
227 с. ; 22 см
|
| Язык: | Русский |
| Серия: |
Записки научных семинаров ЛОМИ
т. 60 |
Загрузка