Полное описание
> Шеремет, М. С. Теоремы полноты для логики тождеств Эванса / М.С.Шеремет. - Новосибирск : [б. и.], 2001. - 12 с. - (Препринт / НИИ дискретной математики и информатики(Новосибирск) ; 56(2001)). - 60 экз. - Текст : непосредственный.
ГРНТИ УДК 27.17.23 512.57(04)
Рубрики: Алгебры универсальные
Кл.слова (ненормированные): УНИВЕРСАЛЬНАЯ АЛГЕБРА
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/55890/56(2001))>
Шифр в сводном ЭК: b61fe3c97f3ec1c4a85f719d775cb5d6
Семенова М.В. Разложения в полных решетках / М. В. Семенова, 2000. - 23 с. - Текст : непосредственный. Шеремет М.С. Неразложимые алгебры в квазимногообразиях частичных алгебр / М. С. Шеремет, 2001. - 26 с. - Текст : непосредственный. Ревин Д.О. Две D -теоремы для одного класса конечных групп / Д. О. Ревин, 1999. - 42 с. - Текст : непосредственный. Заварницин А.В. Порядки элементов в накрытиях групп Ln(q) и распознаваемость знакопеременной группы А / А. В. Заварницин, 2000. - 13 с. - Текст : непосредственный. Заварницин А.В. Распознавание по множеству порядков элементов знакопеременных групп степени r+1 и r+2 для простого r / А. В. Заварницин, 2000. - 11 с. - Текст : непосредственный. Кажихов А.В. Корректность одной модели фазового перехода газ-твердое тело / А.В.Кажихов,И.А.Калиев, 1999. - 32 с. - Текст : непосредственный. Байзаев С. Эллиптические системы с ограниченными коэффициентами на плоскости / С.Байзаев, 1999. - 74 с. - Текст : непосредственный. Шеремет М.С. Теоремы полноты для логики тождеств Эванса / М.С.Шеремет, 2001. - 12 с. - Текст : непосредственный. Пузаренко В.Г. О теории моделей на наследственно конечных надстройках / В.Г.Пузаренко, 2000. - 18 с. - Текст : непосредственный. Останькович А.А. Смешанная задача с производной по времени в граничном условии для квазилинейных гиперболических уравнений второго и четвертого порядка / А.А.Останькович, 1998. - 14 с. - Текст : непосредственный. Останькович А.А. Смешанная задача с производной по времени в граничном условии для квазилинейной гиперболической системы уравнений второго порядка / А.А.Останькович, 1999. - 9 с. - Текст : непосредственный. Подзоров С.Ю. Вычислимые классы конструктивизаций 2-конструктивизируемых моделей / С.Ю.Подзоров, 1999. - 11 с. - Текст : непосредственный. Подзоров С.Ю. Однородные булевы алгебры с рекурсивным представлением / С.Ю.Подзоров, 1999. - 12 с. - Текст : непосредственный. Бощенко А.П. Решетки конгруэнций унарных алгебр : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Бощенко, 1998. - 16 с. - Текст : непосредственный. Брюно А.Д. Степенные разложения решений системы алгебраических и дифференциальных уравнений / А. Д. Брюно, 2000. - 32 с. - Текст : непосредственный. Symplectic geometry, groupoids, and integrable systems : материалы временных коллективов, 1991. - XI,311 p. p. - Текст : непосредственный. Данилов А.Н. Матричное представление свободных абелевых расширений : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Н. Данилов, 2003. - 11 с. - Текст : непосредственный. Шеремет М.С. Неразложимые алгебры в квазимногообразиях частичных алгебр / М. С. Шеремет, 2001. - 26 с. - Текст : непосредственный. McKenzie R. structure of decidable locally finite varieties / R. McKenzie, M. Valeriote, 1989. - VII,212 p. p. - Текст : непосредственный. Category theory and computer science : сборник научных трудов / Ed. D. H. Pitt, 1989. - VI,365 p. p. - Текст : непосредственный. Williams H.C. New computations concerning the Cohen-Lenstra heuristics / H. C. Williams, H.J.J. te Riele, 2002. - 20 p. - Текст : непосредственный. Пинус А.Г. Производные структуры универсальных алгебр / А. Г. Пинус, 2007. - 202 с. - Текст : непосредственный. Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин, 1991. - 446 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Gratzer G. Universal algebra / G. Gratzer, 2008 r=on-line. - Текст : электронный. Показать все результаты Шеремет М.С. Неразложимые алгебры в квазимногообразиях частичных алгебр / М. С. Шеремет, 2001. - 26 с. - Текст : непосредственный. McKenzie R. structure of decidable locally finite varieties / R. McKenzie, M. Valeriote, 1989. - VII,212 p. p. - Текст : непосредственный. Пинус А.Г. Производные структуры универсальных алгебр / А. Г. Пинус, 2007. - 202 с. - Текст : непосредственный. Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин, 1991. - 446 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Матвеев О.А. Универсальные алгебры в теории пространств аффинной связности, близких к симметрическим / О. А. Матвеев, Е. Л. Нестеренко, 2012. - 131 с. - Текст : непосредственный. Пинус А.Г. Основы универсальной алгебры : Учеб. пособие / А.Г. Пинус, 2005. - 137 с. - Текст : непосредственный. Rutten J.J.M.M. A calculus of transition systems(towards universal coalgebra) / J.J.M.M.Rutten, 1995. - 25 p. - Текст : непосредственный. Diercks V. Kongruenzverbande von O-1 Gruppoiden mit Operatoren : Diss.:Mfiche / V.Diercks, 1991. - 73 мкфш. - Текст : непосредственный. Гуров С.И. Элементы теории упорядоченных множеств и универсальной алгебры : Учеб. пособие / С.И.Гуров, 2002. - 100 с. - Текст : непосредственный. Пинус А.Г. Условные термы и их применение в алгебре и теории вычислений / А.Г.Пинус, 2002. - 238 с. - Текст : непосредственный. Шеремет М.С. Теоремы полноты для логики тождеств Эванса / М.С.Шеремет, 2001. - 12 с. - Текст : непосредственный. Хобби Д. Строение конечных алгебр / Д.Хобби,Р.Маккензи;Пер. с англ. К.В.Адаричевой и др.; Под ред. В.А.Горбунова, Ю.Л.Ершова, 1993. - 286 c. - Текст : непосредственный. Бунина Е.И. Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр / Е. И. Бунина, А. В. Михалев, А. Г. Пинус, 2015. - 360 с. - Текст : непосредственный. Rutten J.J.M.M. Universal coalgebra: a theory of systems / J.J.M.M.Rutten, 1996. - 55 p. - Текст : непосредственный. Гуров С.И. Упорядоченные множества и универсальная алгебра (вводный курс) : учеб. пособие / С.И.Гуров, 2004. - 104 с. - Текст : непосредственный. Русаков С.А. Алгебраические п-арные системы. Силовская теория п-арных групп / С.А.Русаков, 1992. - 264 с. - Текст : непосредственный. Бениаминов Е.М. Элементы универсальной алгебры и ее приложений в информатике : Учеб. пособие / Е.М.Бениаминов,Е.А.Ефимова, 2004. - 167 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽