Шамканов Д.С. Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / Д. С. Шамканов, 2012. - 16 с. - Текст : непосредственный.