АР98-4358 Алаев, П. Е. Определимость в итерированных расширениях [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / П. Е. Алаев. - Новосибирск, 1998. - 9 с. В надзаг. :Рос.АН. Сиб. отд-ние. Ин-т математики им.С.Л.Соболева. Библиогр.:с. 7-9(24 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР99-2706 Шрайнер, П. А. Интерполяция и определимость в логиках конечных областей [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / П. А. Шрайнер. - Новосибирск, 1998. - 16 с. Библиогр.:с. 13-16(33 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР99-4665 Хисамиев, А. Н. Определимость в наследственно конечных допустимых множествах [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / А. Н. Хисамиев. - Новосибирск, 1999. - 12 с. В надзаг. :Новосиб. гос. ун-т. Библиогр.:с. 11-12(17 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар13-2344 Пузаренко, В. Г. Натуральные числа и обобщенная вычислимость [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / В. Г. Пузаренко. - Новосибирск, 2013. - 24 с. - Библиогр.: с. 19-24 (67 назв.)
Кл.слова (ненормированные): математическая логика -- определимость -- теория моделей -- теоретическая информатика Экземпляры всего 1: ХР (1) Свободны: ХР (1) |