catalog / Physics and mathematics / Mathematical logic, algebra, number theory and discrete mathematics
скачать файл: 
- title:
- Шамканов Данияр Салкарбекович. Интерполяционные свойства логик доказуемости и нормализация термов рефлекcивной комбинаторной логики
- university:
- Московском государственном университете имени М.В. Ломоносова
- The year of defence:
- 2012
- brief description:
- Шамканов Данияр Салкарбекович. Интерполяционные свойства логик доказуемости и нормализация термов рефлекcивной комбинаторной логики: автореферат дис. ... кандидата физико-математических наук: 01.01.06 / Шамканов Данияр Салкарбекович;[Место защиты: Московском государственном университете имени М.В. Ломоносова].- Москва, 2012.- 16 с.
- Стоимость доставки:
- 230.00 руб