Электронный каталог Национальной библиотеки Беларуси :: Национальная Библиотека РБ

result_checkbox_label
1

Разрешимость теорий иерархий согласованных со сложением функций: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Снятков Алексей Сергеевич. - Ярославль, 2012. - 16 с.

Автор Снятков, А. С.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в:
result_checkbox_label
2

Элиминация итеративных операторов в некоторых теориях первого порядка: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Золотов Александр Сергеевич. - Казань, 2017. - 15, [1] с., включая обложку

Автор Золотов, А. С.

Авторефераты диссертаций

Добавить в Избранное

Сохранено в: