№ | Дата |
Автор |
Заглавие |
---|
|
2003 |
|
Computability and models : perspectives East a. West / [ed. by] S. Barry Cooper, Sergey S. Goncharov |
|
1983 |
|
Справочная книга по математической логике : в 4 ч. : перевод с английского / под редакцией Дж. Барвайса. — Теория доказательств и конструктивная математика / [К. Сморинский и др.] ; перевод Г. В. Давыдова, Г. Е. Минца ; под редакцией В. П. Оревкова |
|
2018 |
Судоплатов, Сергей Владимирович (доктор физико-математических наук ; род. 1964) |
Классификация счётных моделей полных теорий : [монография : в 2 ч.] / С. В. Судоплатов |
|
1999 |
Сергеенко, Григорий Сергеевич |
Разработка моделей и методов адаптивного управления предприятием : Автореф. дис. на соиск. учен. степ. канд. экон. наук : 08.00.13 / Южно-Рос. гос. техн. ун-т |
|
2006 |
Судоплатов, Сергей Владимирович (доктор физико-математических наук ; род. 1964) |
Теории с конечным числом счетных моделей и полигонометрии групп : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.06 / Судоплатов Сергей Владимирович ; [Новосибирский государственный технический университет, Институт математики им. С. Л. Соболева СО РАН] |
|
1992 |
Ловягин, Юрий Никитич (кандидат физико-математических наук ; род. 1958) |
Элементы теории моделей : Учеб.пособие по спецкурсу / Сыктывкар.гос.ун-т |
|
2010 |
Русалеев, Михаил Андреевич |
Обобщенно стабильные теории : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 / Русалеев Михаил Андреевич ; [Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук] |
|
2013 |
Пузаренко, Вадим Григорьевич (кандидат физико-математических наук) |
Натуральные числа и обобщенная вычислимость : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 01.01.06 Мтематическая логика, алгебра и теория чисел / Пузаренко Вадим Григорьевич ; [Институт математики им. С. Л. Соболева Сибирского отделения РАН] |
|
2018 |
Судоплатов, Сергей Владимирович (доктор физико-математических наук ; род. 1964) |
Классификация счётных моделей полных теорий : [монография : в 2 ч.] / С. В. Судоплатов. — Ч. 2 |
|
1999 |
Гаркуша, Григорий Анатольевич |
Категория обобщенных модулей и спектр Циглера : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / С.-Петерб. гос. ун-т |
|
2006 |
Бир, Стаффорд (1926—2002) |
Кибернетика и менеджмент = Cybernetics and management / С. Бир ; перевод с английского В. Я. Алтаева ; под редакцией А. Б. Челюсткина ; предисловие Л. Н. Отоцкого |
|
2001 |
Попков, Владимир Константинович (доктор физико-математических наук ; 1946—2015) |
Математические модели связности / Отв. ред. Нечепуренко М.И.; Рос. акад. наук. Сиб. отд-ние. Ин-т вычисл. математики и мат. геофизики. Ч. 2, Гиперграфы и гиперсети |
|
2019 |
Александрова, Светлана Анатольевна |
∑-определимость в наследственно конечных надстройках над расширениями поля действительных чисел : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Александрова Светлана Анатольевна ; [Новосибирский национальный исследовательский государственный университет] |
|
2002 |
Прохоров, Юрий Геннадьевич (доктор физико-математических наук ; род. 1964) |
Индуктивные методы в теории минимальных моделей : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : 01.01.06 / Прохоров Юрий Геннадьевич ; Мат. ин-т им. В.А.Стеклова, Рос. акад. наук |
|
1998 |
Попов, Денис Александрович (доктор искусствоведения ; кандидат философских наук ; род. 1972) |
Познавательные модели и их альтернативность в исторической науке : Автореф. дис. на соиск. учен. степ. канд. филос. наук : 09.00.01 / Сарат. гос. ун-т им. Н.Г.Чернышевского |
|
2000 |
Овчинникова, Елена Викторовна (кандидат физико-математических наук) |
Структурные свойства и полнота класса регулярных полигонов : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Овчинникова Елена Викторовна ; [Новосиб. гос. тех. ун-т] |
|
2000 |
Пузаренко, Вадим Григорьевич (кандидат физико-математических наук) |
Об алгоритмических и структурных свойствах вычислимости над моделями : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.06 / Пузаренко Вадим Григорьевич ; [Новосиб. гос. ун-т] |
|
2006 |
Гладких, Юрий Григорьевич (кандидат философских наук ; 1938—1999) |
Логика без экзистенциальных предпосылок / Ю. Г. Гладких |
|
2009 |
Судоплатов, Сергей Владимирович (доктор физико-математических наук ; род. 1964) |
Проблема Лахлана : [монография] / С. В. Судоплатов |
|
2018 |
Судоплатов, Сергей Владимирович (доктор физико-математических наук ; род. 1964) |
Классификация счётных моделей полных теорий : [монография : в 2 ч.] / С. В. Судоплатов. — Ч. 1 |