unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ
История поисков Справка
 
Базовый поискРасширенный поискCловариГРНТИНовые поступления

   Запрос: a001="BY-NLB-ar5756066"
   Записи: 1 - 2 из 2 (стр. 1 из 1)

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