Приложение
для AndroidПолное описание
Советско-французский коллоквиум по теории моделей (1990 ; Караганда). Советско-французский коллоквиум по теории моделей : караганда, 26-30 июня 1990 г.: Тез. докл. / Советско-французский коллоквиум по теории моделей (1990 ; Караганда) . - Караганда : [б. и.], 1990. - 64 c. - 200 экз. - Б. ц. - Текст : непосредственный.
В надзаг.: Караганд. гос. ун-т, Ин-т математики и механики АН КазССР. Библиогр. в конце докл.
| ГРНТИ | УДК | |
| 27.03.66 | 510.67(062) |
Рубрики:
Моделей теория (матем.) -- Съезды и конференции
Кл.слова (ненормированные): модель -- теория -- съезд -- конференция
Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽