TY  - BOOK
AU  - Кияткин,Владимир Ростиславович
TI  - Исследование правил вывода в модальных логиках, расширяющих S4: Автореферат диссертации на соискание ученой степени андидата физико-математических наук. 01.01.06
PY  - 1999///
CY  - Красноярск
KW  - Математическая логика, алгебра и теория чисел
KW  - БВАК1995N4
KW  - авторефераты диссертаций
N1  - Библиогр.: с. 17-18
ER  -