Оревков, Владимир Павлович - Сложность доказательств и их преобразований в аксиоматизированных теориях : автореферат дис. ... доктора физико-математических наук : 01.01.06

Экспресс-заказ фрагмента
Оревков, Владимир Павлович.
Сложность доказательств и их преобразований в аксиоматизированных теориях : автореферат дис. ... доктора физико-математических наук : 01.01.06 / ЛГУ. - Ленинград, 1990. - 19 с.

Математическая логика, алгебра и теория чисел
Шифр хранения:
FB 9 90-8/2630-2
FB 9 90-8/2631-0

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеСложность доказательств и их преобразований в аксиоматизированных теориях : автореферат дис. ... доктора физико-математических наук : 01.01.06
Коллекции ЕЭК РГБ Каталог авторефератов диссертаций
Дата поступления в ЕЭК 04.01.1991
Каталоги Авторефераты диссертаций
Сведения об ответственностиЛГУ
Выходные данныеЛенинград, 1990
Физическое описание19 с.
ТемаМатематическая логика, алгебра и теория чисел
BBK-кодВ121,03
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияFB 9 90-8/2630-2
FB 9 90-8/2631-0