АР91-5884 Федоряев, С. Т. Структурные свойства алгебраической сводимости конструктивизаций [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев. - Новосибирск, 1991. - 11 с В надзаг.: АН СССР,Сиб.отд-ние,Ин-т математики,Специализ.Совет Д.002.23.01. Библиогр.: с. 10-11(28назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР91-6088 Хасидашвили, З. О. Системы редукции форм и редукции сокращенных форм и -термов [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили. - Кишинев, 1991. - 14 с В надзаг.: Акад.наук ССР Молдовы,Ин-т математики с ВЦ. Библиогр.: с. 14(8 назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР91-68 Судоплатов, С. В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов. - Новосибирск, 1990. - 13 с В надзаг.: АН СССР.Сибир.отд-ние,Ин-т математики. Библиогр.: с. 12-13(21назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР92-1566 Важенин, Ю. М. Критические теории первого порядка [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин. - Новосибирск, 1992. - 21 с. В надзаг.: АН СССР,Сиб.отд-ние,Ин-т математики. Библиогр.: с. 16-21(73 назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР92-2462 Симонова, И. Г. Доказуемостно-интуиционистская логика и ее расширения [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова. - Кишинев, 1992. - 16 с В надзаг.: АН Респ.Молдова,Ин-т математики с ВЦ. Библиогр.: с. 14-16.
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР92-1974 Любецкий, В. А. Оценки и пучки теоремы переноса [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий. - М., 1991. - 34 с. : ил В надзаг.: АН СССР,Ин-т проблем передачи информ.Специализ.совет Д.003.29.01. Библиогр.: с. 28-34(67назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР92-3800 Омаров, А. И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров. - Новосибирск, 1992. - 19 с В надзаг.: АН СССР,Сиб.отд-ние,Ин-т математики,Специализир.совет Д 002.23.01. Библиогр.: с. 14-19(68 назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР93-6789 Касымов, Н. Х. Рекурсивно отделимые нумерованные алгебры [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов. - Новосибирск, 1993. - 16 с. В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т математики. Библиогр.: с.13-16(49 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР94-1867 Архангельский, Д. А. Информационные логики [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский. - СПб., 1993. - 16 с В надзаг.: Санкт-Петербург. гос. ун-т. Библиогр.:с.15-16
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР94-2650 Венцов, Ю. Г. Условия эффективности выбора в теории конструктивных моделей [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов. - Новосибирск, 1994. - 20 с В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т математики. Библиогр.:с.17-20 (44 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР94-3943 Победин, Л. Н. Теория вычислений с двуместными оракулами [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин. - Омск, 1993. - 10 с. В надзаг.: Ом.гос.ун-т.Специализир.совет К 064.36.02. Библиогр.: с.10(9 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР94-4777 Пантелеев, В. И. Полиномиальные разложения конечнозначных функций [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев. - Омск, 1994. - 14 с. В надзаг.: Омский гос. ун-т. Библиогр.: с.14(4 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР95-4078 Белеградек, О. В. Теория моделей унитреугольных и экзистенциально замкнутых групп [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек. - Новосибирск, 1995. - 32 с. В надзаг.: Рос.АН,Сиб.отд-ние,Ин-т математики. Библиогр.: с.27-32(85 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР95-4536 Хомич, В. И. Проблема отделимости в пропозициональных исчислениях [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. И. Хомич. - М., 1995. - 27 с. В надзаг.: Рос.АН.Вычислит.центр. Библиогр.: с.23-27(56назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР95-5775 Машурян, А. С. Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. С. Машурян. - Ереван, 1995. - 14 с. В надзаг.: Ереван.гос.ун-т, Ин-т проблем информатики и автоматизации. Библиогр.: с.11-13 (13 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР96-1542 Ешкеев, А. Р. Ионсоновские теории [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. Р. Ешкеев. - Алматы, 1995. - 17 с. : ил В надзаг.:Национал. акад. наук Респ. Казахстан. Ин-т теорет. и приклад. математики. Библиогр.:с.16 (8назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР96-1573 Кудинов, О. В. Автоустойчивость конструктивных моделей [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов. - Новосибирск, 1995. - 12 с. В надзаг. : Рос.АН,Сиб.отд-ние,Ин-т математики им.С.Л.Соболева.Библиогр.:с. 10-12(27 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР96-2070 Бабенышев, С. В. Исследования допустимых правил в нестандартных логиках [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Бабенышев. - Красноярск, 1995. - 13 с. : ил Библиогр.:с. 13-14(13 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР99-2940 Конев, Б. Ю. Оценки высоты термов в наиболее общем унификаторе [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Б. Ю. Конев. - СПб, 1999. - 15 с. В надзаг. :С.-Петерб.гос. ун-т. Библиогр.:с. 13-15(16 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР98-2269 Сидон, Т. Л. Динамические логики доказательств с оператором доказуемости [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат. наук:01.01.06 / Т. Л. Сидон. - М., 1997. - 12 с. : ил. В надзаг.:МГУ им.М.В.Ломоносова. Библиогр.:с.12 (4 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |