Интерполяционные свойства логик доказуемости и нормализация термов рефлекcивной комбинаторной логики
Шамканов Данияр Салкарбекович. Интерполяционные свойства логик доказуемости и нормализация термов рефлекcивной комбинаторной логики: автореферат дис. ... кандидата физико-математических наук: 01.01.06 / Шамканов Данияр Салкарбекович;[Место защиты: Московском государственном университете имени М.В. Ломоносова].- Москва, 2012.- 16 с.
