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

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

Dades bibliogràfiques
Autor corporatiu:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики (570), Всесоюзная конференция по математической логике
Altres autors:	Ершов Ю. Л. (редактор)
Idioma:	rus
Publicat:	Новосибирск, Изд-во АН СССР, 1984
Matèries:	Математическая логика инверсные полугруппы эквивалентность доказуемость множества диаграммы конгруэнции предикаты многообразия аксиоматика тьюринговые сводимости операторы гильбертовы пространства тождества проблемы решение уравнения формулы булевы алгебры теория унара принцип Маркова абелевы группы алгебраические системы конференции
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281777

Ítems similars

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Вып. 116 : Прикладная логика; Вычислительные системы
Publicat: (1986)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Вероятность - 1. Элементарная теория вероятностей. Математические основания. Предельные теоремы: учебник для вузов
per: Ширяев А.Н. Альберт Николаевич
Publicat: (Москва, МЦНМО, 2004)

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

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

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

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

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

Симметрическая конструктивная логика
per: Заславский И. Д. Игорь Дмитриевич
Publicat: (Ереван, Изд-во АН Армянской ССР, 1978)

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

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