Математическая логика и алгебра: Сборник статей

Математическая логика и алгебра: Сборник статей

Bibliographic Details
Corporate Author:	Российская академия наук
Other Authors:	Адян С. И. (редактор)
Summary:	К 100-летию академика П. С. Новикова Несколько статей на англ. яз.
Language:	Russian English
Published:	Москва, Наука, 2003
Series:	Труды Математического института им. В. А. Стеклова Вып. 242
Subjects:	математика математическая логика алгебра доказательство алгоритмы интуиционизм вычисления булевы функции
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=59474

Similar Items

Избранные труды; Теория множеств. Математическая логика и алгебра
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1979)

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

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

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

Математическая логика и теория алгоритмов: учебное пособие
by: Шелупанов А. А. Александр Александрович
Published: (Томск, STT, 2001)

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

Дискретная математика для программистов: учебное пособие для вузов; пер. с англ.
by: Хаггарти Р.
Published: (Москва, Техносфера, 2003)

Дискретная математика для программистов: учебное пособие для вузов; пер. с англ.
by: Хаггарти Р.
Published: (Москва, Техносфера, 2005)

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

Конструктивная математическая логика с точки зрения классической
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1977)

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

Основания интуиционистской математики с точки зрения теории рекурсивных функций: пер. с англ.
by: Клини С. К. Стефен Коул
Published: (Москва, Наука, 1978)

Что такое математическая логика?
by: Калужнин Л. А. Лев Аркадьевич
Published: (Москва, Наука, 1964)

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

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

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

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

Математическая логика: учебное пособие
by: Игошин В. И. Владимир Иванович
Published: (Москва, Инфра-М, 2012)

Математическая логика: учебное пособие
by: Игошин В. И. Владимир Иванович
Published: (Москва, Инфра-М, 2019)

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

Дискретная математика: учебник для вузов
by: Соболева Т. С. Татьяна Сергеевна
Published: (Москва, Академия, 2006)

Математика XIX века: математическая логика, алгебра, теория чисел, теория вероятностей
Published: (Москва, Наука, 1978)

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

Математическая логика
by: Гладкий А. В. Алексей Всеволодович
Published: (Москва, Изд-во Российского ГГУ, 1998)

Математическая логика: учебное пособие
by: Ершов Юрий Леонидович
Published: (Москва, Наука, 1987)

Универсальная алгебра, алгебраическая логика и базы данных
by: Плоткин Б. И. Борис Исаакович
Published: (Москва, Наука, 1991)

Логика: учебник
by: Свинцов В. И. Виталий Иванович
Published: (Москва, Высшая школа, 1987)

Дискретная математика для программистов: учебное пособие; пер. с англ.
by: Хаггарти Р. Род
Published: (Москва, Техносфера, 2012)

Дискретная математика для программистов: учебное пособие; пер. с англ.
by: Хаггарти Р. Род
Published: (Москва, Техносфера, 2020)

Определимость и вычислимость
by: Ершов Ю. Л. Юрий Леонидович
Published: (Москва, Экономика, 2000)

Математическая логика: учебное пособие
by: Ершов Ю. Л. Юрий Леонидович
Published: (Москва, Наука, 1979)

Логика: учебник
by: Кириллов В. И. Вячеслав Иванович
Published: (Москва, Высшая школа, 1982)

Логика: учебник
by: Кириллов В. И. Вячеслав Иванович
Published: (Москва, Высшая школа, 1987)

Множества. Логика. Аксиоматические теории: пер. с англ.
by: Столл Р. Р. Роберт Р.
Published: (Москва, Просвещение, 1968)

Математическая логика: учебное пособие
by: Эдельман С. Л. Самсон Львович
Published: (Москва, Высшая школа, 1975)

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

Алгебра, математическая логика, теория чисел, топология: сборник обзорных статей; [Сб.] 1
Published: (Москва, Наука, 1984)

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

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

Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Published: (Москва, Мир, 1970)