Теоретическое применение методов математической логики. 2: сборник работ / под редакцией Г. Е. Минца и В. П. Оревкова
Другие авторы/ответственные: | Минц, Г. Е. (1939—2014), Оревков, В. П. (род. 1940) |
---|---|
Вид документа: | Продолжающиеся издания |
Опубликовано: | Ленинград : Наука, Ленинградское отделение, 1977 |
Язык: | Русский Английский |
Серия: |
Записки научных семинаров ЛОМИ
; т. 68 |
Загрузка...