Полное описание
> Шамканов, Д. С. Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики : автореф. дис. ... канд. физ.-мат. наук: 01.01.06 / Д. С. Шамканов. - 2012. - 16 с. - Библиогр.: с. 15-16 (3 назв.). - Текст : непосредственный.
В надзаг.: МГУ им. М.В. Ломоносова
ГРНТИ | УДК | |
27.03.19 | 510(043) | |
03.91 |
Кл.слова (ненормированные): ИНТЕРПОЛЯЦИОННОЕ СВОЙСТВО КРЕЙГА -- РАВНОМЕРНАЯ ИНТЕРПОЛЯЦИЯ -- ФОРМАЛЬНЫЕ СИСТЕМЫ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар12-9896)>
Шифр в сводном ЭК: a88584b0656d783c4ec37815f23e4bb2
Заказ фрагмента документа ₽