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