Расширенный поиск
Найдена 1 запись.
№ | Автор ▼ | Заглавие | Данные | Действия |
---|---|---|---|---|
1. | Шамканов, Данияр Салкарбекович | Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Шамканов Данияр Салкарбекович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова. Мех.-мат. фак.] Количество страниц: 16 с. 9 12-3/95 Электронный ресурс |
Москва, 2012 |
описание
загрузить в подборку |