Проблемы разрешимости и конструктивные модели

Проблемы разрешимости и конструктивные модели

Bibliographic Details
Main Author:	Ершов Е. Л. Юрий Леонидович
Language:	Russian
Published:	Москва, Наука, 1980
Series:	Математическая логика и основания математики
Subjects:	разрешимость проблемы конструктивные модели решетки нормированные поля неразрешимость
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=207799

Similar Items

Решетки с единственными дополнениями
by: Салий В. Н. Вячеслав Николаевич
Published: (Москва, Наука, 1984)

Исследования алгебраических систем сборник научных трудов
Published: (Свердловск, УрГУ, 1989)

Исследования по алгебраическим системам сборник научных трудов
Published: (Свердловск, Изд-во УрГУ, 1984)

Упражнения по группам, кольцам и полям учебное пособие
by: Крылов П. А. Петр Андреевич
Published: (Томск, Изд-во ТГУ, 2008)

Алгебраические системы. Многообразия. Решетки подсистем сборник научных трудов
Published: (Свердловск, Изд-во УрГУ, 1983)

Алгебры Гейтинга I. Теория двойственности
by: Эсакиа Л. Л.
Published: (Тбилиси, Мецниереба, 1985)

Алгебраические и дискретные системы межвузовский сборник научных трудов
Published: (Иваново, Изд-во ИвГУ, 1988)

Формации алгебраических систем
by: Шеметков Л. А. Леонид Александрович
Published: (Москва, Наука, 1989)

Введение в теорию алгебр со сверхтождествами
by: Мовсисян Ю. М. Юрик Мовсесович
Published: (Ереван, Изд-во Ереванского ун-та, 1986)

Исследования алгебраических систем по свойствам их подсистем сборник научных трудов
Published: (Свердловск, Изд-во УрГУ, 1985)

Курс высшей алгебры учебник для университетов
by: Курош А. Г. Александр Геннадиевич
Published: (Москва, Наука, 1965)

Гомоморфизмы межвузовский сборник научных трудов
Published: (Ленинград, 1988)

Полугруппы с дополнительными структурами межвузовский сборник научных трудов
Published: (Ленинград, Изд-во ЛГПИ, 1986)

Динамическая теория групп и полей пер. с англ.
by: Девитт Б. С.
Published: (Москва, Наука, 1987)

Алгебраические действия и упорядоченности межвузовский сборник научных трудов
Published: (Ленинград, Изд-во ЛГПИ, 1983)

Курс высшей алгебры
by: Мышков А.
Published: (Санкт-Петербург, Типография Императорской Академии наук, 1866)

Курс высшей алгебры [учебник]
by: Курош А. Г. Александр Геннадиевич
Published: (Москва, Мир, 1980)

Курс высшей алгебры [учебник]
by: Курош А. Г. Александр Геннадиевич
Published: (Москва, Мир, 1980)

Компьютерная алгебра. Факторизация многочленов учебное пособие
by: Панкратьев Е. В. Евгений Васильевич
Published: (Москва, Изд-во Московского ун-та, 1988)

Рациональные группы
by: Мерзляков Ю. И. Юрий Иванович
Published: (Москва, Наука, 1980)

Алгебраические системы с одним действием и отношением межвузовский сборник научных трудов
Published: (Ленинград, Изд-во ЛГПИ, 1985)

Векторы, алгебры, пространства
by: Кузичева З. А. Зинаида Андреевна
Published: (Москва, Знание, 1970)

Рациональные группы
by: Мерзляков Ю. И.
Published: (Москва, Наука, 1987)

Развитие комбинаторной теории групп: очерк истории развития идей пер. с англ.
by: Чандлер Б.
Published: (Москва, Мир, 1985)

Теория полугрупп и ее приложения. Приложения алгебраических методов межвузовский научный сборник
Published: (Саратов, Изд-во Сарат. ун-та, 1987)

Сборник задач по высшей алгебре учебное пособие
by: Фаддеев Д. К. Дмитрий Константинович
Published: (Москва, Наука, 1977)

Сборник задач по высшей алгебре
by: Фадеев Д. К. Дмитрий Константинович
Published: (Москва, Мир, 1972)

Вып. 91: Строго регулярные алгебры и топологии
Published: (1987)

Линейные представления групп
by: Винберг Э. Б. Эрнест Борисович
Published: (Москва, Наука, 1985)

Группы преобразований и теория представлений пер. с англ.
by: Дик Т. Таммо Том
Published: (Москва, Мир, 1982)

Жемчужины теории формальных языков пер. с англ.
by: Саломаа А. Арто
Published: (Москва, Мир, 1986)

Сборник задач по высшей алгебре [учебное пособие]
by: Фадеев Д. К. Дмитрий Константинович
Published: (Москва, Мир, 1973)

Сборник задач по высшей алгебре [учебное пособие]
by: Фаддеев Д. К. Дмитрий Константинович
Published: (Москва, Мир, 1980)

Теория представлений симметрических групп пер. с англ.
by: Джеймс Г.
Published: (Москва, Мир, 1982)

Практические занятия по алгебре. Комплексные числа, многочлены учебное пособие
Published: (Санкт-Петербург, Лань, 2014)

Геометрия определяющих соотношений в группах
by: Ольшанский А. Ю. Александр Юрьевич
Published: (Москва, Наука, 1989)

Исследования по общей алгебре, геометрии и их приложения. Математические науки межвузовский сборник
Published: (Кишинев, Штиинца, 1986)

Теория Галуа, кольца, алгебраические группы и их приложения сборник статей
Published: (Ленинград, Наука, 1990)

Тождества алгебр и их представлений
by: Размыслов Ю. П.
Published: (Москва, Наука, 1989)

Вып. 105: Модули, алгебры и топологии
Published: (1988)