Кияткин, Владимир Ростиславович - Исследование правил вывода в модальных логиках, расширяющих 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
Электронный адрес Электронный ресурс