Приложение
для AndroidПолное описание
Теория моделей в Казахстане : сб. науч. работ, посвященный памяти А. Д. Тайманова / ред. кол.: М. М. Еримбетов и др. - Алматы : Eco Study, 2006. - 447 с. : ил. - Библиогр. в конце отд. ст. - 1000 экз. - ISBN 996597-18-3-8 : Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.66 | 510.67 |
Рубрики:
Математическая логика
Доп. точки доступа:
Еримбетов, М.М.\ред.\
Тайманов, А. Д.\о нем\
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Maanen H.A.N.van Axioms for No-categorical orderings / H.A.N.van Maanen, 1994. - 9 p. - Текст : непосредственный.Algebra and Model Theory / Ed.by A.G.Pinus,K.N.Ponomaryov, 1997. - 243 p. - Текст : непосредственный.Подзоров С.Ю. Вычислимые классы конструктивизаций 2-конструктивизируемых моделей / С.Ю.Подзоров, 1999. - 11 с. - Текст : непосредственный.Пузаренко В.Г. О теории моделей на наследственно конечных надстройках / В.Г.Пузаренко, 2000. - 18 с. - Текст : непосредственный.Теоретико-модельная алгебра : Сб. науч. тр. / Казахский ун-т им.С.М.Кирова, 1989. - 140 с. - Текст : непосредственный.Любецкий В.А. Topics in classical and intuitionistic model theory : Lecture notes / В.А.Любецкий,М.Д.А.Лариджани, 2000. - 389 p. - Текст : непосредственный.Советско-французский коллоквиум по теории моделей : Караганда, 26-30 июня 1990 г.: Тез. докл. / Советско-французский коллоквиум по теории моделей (1990 ; Караганда) , 1990. - 64 c. - Текст : непосредственный.Algebra and model theory : Collection of papers / Novosibirsk state technical university. 3, 2001. - 162 с. - Текст : непосредственный.Algebra and model theory : Collection of papers / Novosibirsk state technical university. 4, 2003. - 197 с. - Текст : непосредственный.Теория моделей в Казахстане : сб. науч. работ, посвященный памяти А. Д. Тайманова / ред. кол.: М. М. Еримбетов и др., 2006. - 447 с. - Текст : непосредственный.Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный.Проблема Лахлана / С. В. Судоплатов, 2009. - 335 с. - Текст : непосредственный.Algebra and model theory : Collection of papers / Novosibirsk state technical university. 8, 2011. - 142 с. - Текст : непосредственный.Algebra and model theory 9 : collection of papers / ed. A. G. Pinus et al., 2013. - 168 p. - Текст : непосредственный.Бунина Е.И. Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр / Е. И. Бунина, А. В. Михалев, А. Г. Пинус, 2015. - 360 с. - Текст : непосредственный.Стрыгин В.З. Теория моделей / В. З. Стрыгин, 2018. - 50 с. - Текст : непосредственный.Prestel A. Mathematical Logic and Model Theory : A Brief Introduction / by Alexander Prestel, Charles N. Delzell., 2011 r=on-line (Введено оглавление). - Текст : электронный.Зотов, Игорь Николаевич. Соответствие Мальцева и локальные автоморфизмы нильтреугольных алгебр классических типов : специальность 01.01.06 - математическая логика, алгебра и теория чисел : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Зотов Игорь Николаевич, 2021. - 15 с. - Текст : непосредственный.Мархабатов, Нурлан Дарханулы. Теоретико-модельные и топологические свойства семейств теорий : 01.01.06 - "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Мархабатов Нурлан Дарханулы, 2021. - 19 с. - Текст : непосредственный.Емельянов, Дмитрий Юрьевич. Алгебры бинарных изолирующих формул : 01.01.06 - Математическая логика, алгебра и теория чисел : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Емельянов Дмитрий Юрьевич, 2021. - 17 с. - Текст : непосредственный.
Показать все результатыSommerhalder R. A resolution method for some systems of MODAL LOGIC : Diss. / R.Sommerhalder, 1992. - 173 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M.Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 201 c. - Текст : непосредственный.Абаев Н.Б. Выявление скрытых законов логики и приложение их к строгим наукам / Н.Б.Абаев, 1993. - 164 c. - Текст : непосредственный.Ben-Shalom D. A path-based variable-free system for predicate logic / D.Ben-Shalom, 1994. - 12 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Rijke M.de A Lindstrom theorem for modal logic / M.de Rijke, 1994. - 13 p. - Текст : непосредственный.Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Алгебраические и логические конструкции : Сб.науч.тр. / Твер.гос.ун-т, 1994. - 105 c. - Текст : непосредственный.Кузнецов В.Н. Теоретическая информатика - I. Элементы теории множеств и математической логики : Учеб. пособие / В.Н.Кузнецов, 1994. - 103 c. - Текст : непосредственный.Таланов В.А. Математическая логика и модели вычислений : Учеб. пособие / В.А.Таланов, 1994. - 116 c. - Текст : непосредственный.Теоретические применения методов математической логики : Сб. работ. 1, 1975. - 180 с. - Текст : непосредственный.Snyder W. A proof theory for general unification / W.Snyder, 1991. - 175 175 p. - Текст : непосредственный.Rijke M.de Modal model theory / M.de Rijke, 1995. - 20 p. - Текст : непосредственный.Akkanen J. Absolute logics / J.Akkanen, 1995. - 83 -. -. - Текст : непосредственный.Blackburn P. Why combine logics? / P.Blackburn,M.de Rijke, 1995. - 18 p. - Текст : непосредственный.
Показать все результатыКудинов О.В. Автоустойчивость конструктивных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный.Алаев П.Е. Определимость в итерированных расширениях : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / П. Е. Алаев, 1998. - 9 с. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Бунина Е.И. Элементарная эквивалентность линейных и алгебраических групп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Е. И. Бунина, 2001. - 12 с. - Текст : непосредственный.Ромина А.В. Автоустойчивость и представимость моделей в допустимых множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. В. Ромина, 2001. - 8 с. - Текст : непосредственный.Вербовский В.В. Свойства функций, определяемых в структурах с условиями минимальности семейств формульных подмножеств : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / В. В. Вербовский, 2002. - 15 с. - Текст : непосредственный.Степанова А.А. Теоретико-модельные свойства полигонов : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / А. А. Степанова, 2003. - 21 с. - Текст : непосредственный.Maanen H.A.N.van Axioms for No-categorical orderings / H.A.N.van Maanen, 1994. - 9 p. - Текст : непосредственный.Algebra and Model Theory / Ed.by A.G.Pinus,K.N.Ponomaryov, 1997. - 243 p. - Текст : непосредственный.Подзоров С.Ю. Вычислимые классы конструктивизаций 2-конструктивизируемых моделей / С.Ю.Подзоров, 1999. - 11 с. - Текст : непосредственный.Кулешов В.А. Аналогии. Отношение аналогии моделей / В.А.Кулешов, 1992. - 415 с. - Текст : непосредственный.Пузаренко В.Г. О теории моделей на наследственно конечных надстройках / В.Г.Пузаренко, 2000. - 18 с. - Текст : непосредственный.Теоретико-модельная алгебра : Сб. науч. тр. / Казахский ун-т им.С.М.Кирова, 1989. - 140 с. - Текст : непосредственный.Любецкий В.А. Topics in classical and intuitionistic model theory : Lecture notes / В.А.Любецкий,М.Д.А.Лариджани, 2000. - 389 p. - Текст : непосредственный.Советско-французский коллоквиум по теории моделей : Караганда, 26-30 июня 1990 г.: Тез. докл. / Советско-французский коллоквиум по теории моделей (1990 ; Караганда) , 1990. - 64 c. - Текст : непосредственный.Algebra and model theory : Collection of papers / Novosibirsk state technical university. 3, 2001. - 162 с. - Текст : непосредственный.Algebra and model theory : Collection of papers / Novosibirsk state technical university. 4, 2003. - 197 с. - Текст : непосредственный.Власов Д.Ю. Структурная характеризация алгебраических систем с ограничением на сложность булевой алгебры формульных классов подсистем : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / Д. Ю. Власов, 2004. - 12 с. - Текст : непосредственный.Теории с конечным числом счетных моделей и полигонометрии групп : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / С. В. Судоплатов, 2006. - 30 с. - Текст : непосредственный.Теория моделей в Казахстане : сб. науч. работ, посвященный памяти А. Д. Тайманова / ред. кол.: М. М. Еримбетов и др., 2006. - 447 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽