Интерполяционные свойства в слабо тразитивных модальных логиках
Карпенко Анастасия Валерьевна. Интерполяционные свойства в слабо тразитивных модальных логиках : диссертация ... кандидата физико-математических наук : 01.01.06 / Карпенко Анастасия Валерьевна; [Место защиты: Ин-т математики им. С.Л. Соболева СО РАН].- Новосибирск, 2010.- 86 с.: ил. РГБ ОД, 61 10-1/1002