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