Полное описание

Ар12-31596
Снятков, А. С. Разрешимость теорий иерархий согласованных со сложением функций : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / А. С. Снятков. - Ярославль : [б. и.], 2012. - 16 с. - Библиогр.: с. 15-16 (5 назв.). - 100 экз. - Текст : непосредственный.

ГРНТИ	УДК
27.03.19	510(043)
03.91

Кл.слова (ненормированные): математическая логика -- теория алгоритмов -- теория сложности
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)

Заказать издание
Заказ фрагмента документа ₽