Пахомов Ф.Н. Некоторые алгоритмические вопросы для полимодальных логик доказуемости : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / Ф. Н. Пахомов, 2015. - 10 с. - Текст : непосредственный.