Сложность доказательств и их преобразований в аксиоматизированных теориях: (01.01.06): Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук / ЛГУ

Сохранено в:
Шифр документа: 131179/90,
Вид документа: Авторефераты диссертаций
Автор: Оревков, В. П.
Опубликовано: Л. , 1990
Физические характеристики: 19 с.
Язык: Русский

ОФХ отдела книгохранения

Всего : 1 , доступно: 1 Доступно  Заказать

Информация об экземплярах

Шифр Фонд Место нахождения Статус экземпляра Читальный зал
131179/90 ОФХ отдела книгохранения (039) 11:4:2:71 СВОБОДЕН Рекомендованный ЧитЗал