323973 Метод канонических формул и его применение в модальной логике : диссертация ... доктора физико-математических наук : 01.01.06 Захарьящев, Михаил Викторович 1998, Москва

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