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

Карточка

Оревков, Владимир Павлович.

Сложность доказательств и их преобразований в аксиоматизированных теориях : автореферат дис. ... доктора физико-математических наук : 01.01.06 / ЛГУ. - Ленинград, 1990. - 19 с.
Математическая логика, алгебра и теория чисел
FB 9 90-8/2630-2
FB 9 90-8/2631-0

Marc21

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

Показать

Описание

Автор
ЗаглавиеСложность доказательств и их преобразований в аксиоматизированных теориях : автореферат дис. ... доктора физико-математических наук : 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