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