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

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

Manylion Llyfryddiaeth
Awduron Corfforaethol:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики (570), Всесоюзная конференция по математической логике
Awduron Eraill:	Ершов Ю. Л. (редактор)
Iaith:	Rwseg
Cyhoeddwyd:	Новосибирск, Изд-во АН СССР, 1984
Pynciau:	Математическая логика инверсные полугруппы эквивалентность доказуемость множества диаграммы конгруэнции предикаты многообразия аксиоматика тьюринговые сводимости операторы гильбертовы пространства тождества проблемы решение уравнения формулы булевы алгебры теория унара принцип Маркова абелевы группы алгебраические системы конференции
Fformat:	Llyfr
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281777

Eitemau Tebyg

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

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

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

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

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

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

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

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

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

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

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

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

Т. 103 : Модули и линейные группы; Записки научных семинаров ЛОМИ
Cyhoeddwyd: (1980)

Математическая логика: учебное пособие для вузов
gan: Ершов Ю. Л. Юрий Леонидович
Cyhoeddwyd: (Москва, Физматлит, 2011)

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

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

Математическая логика и теория алгоритмов: учебник
gan: Судоплатов С. В.
Cyhoeddwyd: (Москва, Инфра-М, 2008)

Теория доказательств: пер. с англ.
gan: Такеути Г. Гаиси
Cyhoeddwyd: (Москва, Мир, 1978)

Применение математической логики и теории графов в обработке экономической информации: учебное пособие
gan: Полгородник Н. П. Нинель Петровна
Cyhoeddwyd: (Киев, [Б. и.], 1972)

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

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

Логические и математические исчисления: учебное пособие
gan: Шиханович Ю. А. Юрий Александрович
Cyhoeddwyd: (Москва, Научный мир, 2011)

Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
gan: Верещагин Н. К
Cyhoeddwyd: (Москва, МЦНМО, 1999)

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

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

Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие для вузов
gan: Косовский Н. К. Николай Кириллович
Cyhoeddwyd: (Ленинград, Изд-во Ленинградского ун-та, 1981)

Математическая логика и теория алгоритмов для программистов: учебное пособие
gan: Гринченков Д. В. Дмитрий Валерьевич
Cyhoeddwyd: (Москва, КноРус, 2013)

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

Математическая логика и теория алгоритмов для программистов: учебное пособие
gan: Гринченков Д. В. Дмитрий Валерьевич
Cyhoeddwyd: (Москва, КноРус, 2010)

Математическая логика и теория алгоритмов: учебное пособие
gan: Набебин А. А. Алексей Александрович
Cyhoeddwyd: (СПб., Научный мир, 2008)

Избранные вопросы алгебры и логики: сборник, посвященный памяти А. И. Мальцева
Cyhoeddwyd: (Новосибирск, Наука, 1973)

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

Т. 2: [сборник]; Исследования по теории алгорифмов и математической логике
Cyhoeddwyd: (1976)

Философские проблемы оснований математики
gan: Рузавин Г. И. Георгий Иванович
Cyhoeddwyd: (Москва, Наука, 1983)

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

Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие
gan: Глухов М. М. Михаил Михайлович
Cyhoeddwyd: (СПб., Лань, 2012)

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

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

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

Дискретная математика и математическая логика: учебник
gan: Аляев Ю. А. Юрий Александрович
Cyhoeddwyd: (Москва, Финансы и статистика, 2006)