VII Всесоюзная конференция по математической логике, посвященная 75-летию академика А. И. Мальцева, 5-7 сентября 1984 г., г. Новосибирск тезисы докладов

VII Всесоюзная конференция по математической логике, посвященная 75-летию академика А. И. Мальцева, 5-7 сентября 1984 г., г. Новосибирск, тезисы докладов

Bibliographic Details
Corporate Authors:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики (570), Всесоюзная конференция по математической логике
Other Authors:	Ершов Ю. Л. (340)
Language:	Russian
Published:	Новосибирск, Изд-во АН СССР, 1984
Subjects:	инверсные полугруппы эквивалентность доказуемость множества диаграммы конгруэнции предикаты многообразия аксиоматика тьюринговые сводимости операторы гильбертовы пространства тождества проблемы решение уравнения формулы булевы алгебры теория унара принцип Маркова абелевы группы алгебраические системы конференции
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281777

Similar Items

Всесоюзная конференция по прикладной логике, Новосибирск, 22-24 октября 1985 г. тезисы докладов
Published: (Новосибирск, Изд-во ИМ, 1985)

II Всесоюзная конференция по прикладной логике (Новосибирск, 7-9 июня 1988 г.) тезисы докладов
Published: (Новосибирск, Изд-во Института математики, 1988)

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

Алгебра и логика сборник научных трудов
Published: (Новосибирск, 1989)

Т. 103 : Модули и линейные группы
Published: (1980)

Проблема логического следования в математической логике лекция
by: Джиджян Р. З.
Published: (Ереван, Изд-во Ереванского ун-та, 1981)

Задачник по математической логике учебное пособие
by: Горбатов В .А.
Published: (Москва, Изд-во МЭИ, 1972)

Исследования по теории алгорифмов и математической логике сборник
Published: (Москва, Наука, 1979)

Лекции по общей алгебре учебник для вузов
by: Курош А. Г.
Published: (Санкт-Петербург, Лань, 2023)

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

Алгебраические структуры учебник для вузов
by: Туганбаев А. А.
Published: (Санкт-Петербург, Лань, 2024)

Общая алгебра лекции 1969-1970 учебного года
by: Курош А. Г. Александр Геннадьевич
Published: (Москва, Наука, 1974)

Логическая тетрадь нерешенные вопросы математической логики (оперативный информационный материал)
Published: (Новосибирск, Изд-во ИМ СО РАН, 1986)

Задачи и упражнения по математической логике и теории алгоритмов учебное пособие для вузов
by: Игошин В. И. Владимир Иванович
Published: (Москва, Академия, 2006)

Международная конференция по алгебре, посвященная памяти А. И. Мальцева (1909-1967), Новосибирск, 21-26 августа 1989 г. тезисы докладов по теории групп
Published: (Новосибирск, Изд-во института математики, 1989)

Задачи и упражнения по математической логике и теории алгоритмов учебное пособие для вузов
by: Игошин В. И. Владимир Иванович
Published: (Москва, Академия, 2005)

Введение в теорию банаховых представлений групп учебное пособие для математических специальностей ун-тов
by: Любич Ю. И. Юрий Ильич
Published: (Харьков, Вища школа, 1985)

Элементы математической логики
by: Марков А. А. Андрей Андреевич
Published: (Москва, Изд-во МГУ, 1984)

Применение ЭВМ для решения задач математической логики учебное пособие
by: Мелихов А. Н. Аскольд Николаевич
Published: (Таганрог, Изд-воТРТИ, 1988)

Стабильные теории учебное пособие
by: Мустафин Т. Г. Туленды Гарифович
Published: (Караганда, Изд-во Карагандийского гос. ун-та, 1981)

Генценовские системы для исчисления высказываний и аксиоматической арифметики учебное пособие
by: Кипнис М. М. Михаил Маркович
Published: (Челябинск, Изд-во ЧПИ, 1985)

Введение в математическую логику монография пер. с англ.
by: Чёрч А.
Published: (Москва, Изд-во иностранной литературы, 1960)

Математическая логика пер. с англ.
by: Гудстейн Р. Л.
Published: (Москва, Изд-во иностранной литературы, 1961)

Алгебра и логика сборник научных трудов
Published: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Математическая логика. Курс лекций. Задачник-практикум и решения учебное пособие
by: Лихтарников Л. М. Леонид Моисеевич
Published: (СПб., Лань, 2008)

Как математика ум в порядок приводит
by: Столяр А. А. Абрам Аронович
Published: (Минск, Вышэйшая школа, 1982)

Популярная логика общедоступный очерк логики предложений пер. с пол.
by: Гжегорчик А. Анджей
Published: (Москва, Наука, 1972)

Функциональный анализ. Специальные курсы учебное пособие
by: Луговая Г. Д. Галина Дмитриевна
Published: (Москва, Изд-во ЛКИ, 2008)

Теория моделей и ее применения сборник научных трудов
Published: (Новосибирск, Наука, 1988)

Логические исследования сборник статей
Published: (Москва, Издательство Академии наук СССР, 1959)

Теория дедуктивных систем и ее применения
by: Маслов С. Ю. Сергей Юрьевич
Published: (Москва, Радио и связь, 1986)

Построение формулировок теорем и способов доказательств. Логические приемы мышления в творческой деятельности
by: Калошина И. П. Инна Павловна
Published: (Саранск, Изд-во Саратовского ГТУ, 1988)

Алгебра и логика сборник научных трудов
Published: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Алгебра и логика сборник научных трудов
Published: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Теория формальных систем пер. с англ.
by: Смальян Р. Раймонд
Published: (Москва, Наука, 1981)

Математическая логика. Задачник-практикум и решения курс лекций учебное пособие
by: Лихтарников Л. М. Леонид Моисеевич
Published: (СПб., Лань, 2009)

Ламбда-исчисление. Его синтаксис и семантика пер. с англ.
by: Барендрегт Х. П. Хендрик Питер
Published: (Москва, Мир, 1985)

Логические уравнения
by: Закревский А. Д. Аркадий Дмитриевич
Published: (Минск, Наука и техника, 1975)

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

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