Артемов, Сергей Николаевич - Вопросы аксиоматизируемости и полноты модальных логик доказуемости : диссертация ... доктора физико-математических наук : 01.01.06

Экспресс-заказ фрагмента
Артемов, Сергей Николаевич.
Вопросы аксиоматизируемости и полноты модальных логик доказуемости : диссертация ... доктора физико-математических наук : 01.01.06. - Москва, 1988. - 158 с. : ил.

Математическая логика, алгебра и теория чисел
Шифр хранения:
OD 71 89-1/348

Marc21

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

Показать

Описание

Автор
ЗаглавиеВопросы аксиоматизируемости и полноты модальных логик доказуемости : диссертация ... доктора физико-математических наук : 01.01.06
Коллекции ЕЭК РГБ Каталог диссертаций
Дата поступления в ЕЭК 06.06.2016
Каталоги Диссертации
Выходные данныеМосква, 1988
Физическое описание158 с. : ил.
ТемаМатематическая логика, алгебра и теория чисел
BBK-кодВ121,03
В123,03
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияOD 71 89-1/348