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