Кияткин, Владимир Ростиславович - Исследование правил вывода в модальных логиках, расширяющих S4 : диссертация ... кандидата физико-математических наук : 01.01.06

Кияткин, Владимир Ростиславович.
Экспресс-заказ фрагмента
Кияткин, Владимир Ростиславович.
Исследование правил вывода в модальных логиках, расширяющих S4 : диссертация ... кандидата физико-математических наук : 01.01.06. - Красноярск, 1999. - 104 с.

Математическая логика, алгебра и теория чисел
Шифр хранения:
OD 61 00-1/391-3

Marc21

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

Показать

Описание

Автор
ЗаглавиеИсследование правил вывода в модальных логиках, расширяющих S4 : диссертация ... кандидата физико-математических наук : 01.01.06
Коллекции ЕЭК РГБ Каталог диссертаций
Коллекции ЭБ Диссертации
Дата поступления в ЭК 06.06.2000
Дата поступления в ЭБ 01.09.2011
Каталоги Диссертации
Выходные данныеКрасноярск, 1999
Физическое описание104 с.
ТемаМатематическая логика, алгебра и теория чисел
BBK-кодВ123,03
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияOD 61 00-1/391-3
Электронный адрес Электронный ресурс