35567 Правила вывода многомодальных логик : диссертация ... кандидата физико-математических наук : 01.01.06 Кошелева, Анна Владимировна 2007, Красноярск

Математика. Диссертация Правила вывода многомодальных логик : диссертация ... кандидата физико-математических наук : 01.01.06, Красноярск, 2007