Математическая логика: учебное пособие

Математическая логика: учебное пособие

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

Similar Items

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

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

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

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

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

Математическая логика и теория алгоритмов: учебное пособие
by: Гурова Л. М. Любовь Михайловна
Published: (Москва, Изд-во МГГУ, 2006)

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

Математическая логика: пер. с англ.
by: Клини С. К. Стивен Коул
Published: (Москва, Едиториал УРСС, 2005)

Математическая логика: учебное пособие
by: Колмогоров А.Н. Андрей Николаевич
Published: (Москва, УРСС, 2005)

Введение в математическую логику: пер. с англ.
by: Мендельсон Э. Эллиот
Published: (Москва, Наука, 1984)

Математическая логика: пер. с англ.
by: Клини С. К. Стефан Коул
Published: (Москва, Мир, 1973)

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

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

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

Математическая логика: курс лекций; учебное пособие
by: Тимофеева И. Л. Ирина Леонидовна
Published: (Москва, Университет, 2007)

Логика: учебное пособие
by: Попов Ю. П. Юрий Петрович
Published: (Москва, КноРус, 2015)

Лекции по математической логике: учебное пособие
by: Мощенский В. А. Владимир Андреевич
Published: (Минск, Изд-во Белорусского гос. ун-та, 1973)

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

Прикладная дискретная математика. Логика. Графы. Автоматы. Алгоритмы. Кодирование: [учебное пособие]
by: Гданский Н. И. Николай Иванович
Published: (Москва, Вузовская книга, 2011)

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

Вводный курс математической логики
by: Успенский В. А. Владимир Андреевич
Published: (Москва, Физматлит, 2007)

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

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

Логика: [учебник]
by: Солодухин О. А. Олег Анатольевич
Published: (Ростов-на-Дону, Феникс, 2000)

Введение в математическую логику: пер. с англ.
by: Мендельсон Э. Эллиот
Published: (Москва, Наука, 1976)

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

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

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

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

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

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

Математический интуиционизм. Введение в теорию доказательств
by: Драгалин А. Г. Альберт Григорьевич
Published: (Москва, Наука, 1979)

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

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

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

Математическая логика и теория алгоритмов
Published: (Новосибирск, Изд-во ИМ СО РАН, 1993)

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

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

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

Логика: Практический курс; учебник для вузов
by: Рузавин Г. И.
Published: (Москва, ЮНИТИ-ДАНА, 2002)