Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Снятков, Алексей Сергеевич |
загрузить
в подборку |
Заглавие | Разрешимость теорий иерархий согласованных со сложением функций : автореферат дис. ... кандидата физико-математических наук : 01.01.06 | |
Выходные данные | Ярославль 2012 | |
Физическое описание | 16 с. | |
Тема | Математическая логика, алгебра и теория чисел | |
Тема | Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Теория алгоритмов, рекурсивные функции | |
Ключевые слова |
разрешимость теорий иерархий |
|
Хранение | 9 13-1/799; | |
Электронный адрес |
Электронный ресурс |