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

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

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

Marc21

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

Показать

Описание

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