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

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

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

Similar Items

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

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

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

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

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

Теория множеств и континуум-гипотеза
by: Коэн П. Д. Пол Дж.
Published: (Москва, Мир, 1969)

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

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

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

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

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

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

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

Задачи по теории множеств, математической логике и теории алгоритмов
by: Лавров И. А. Игорь Андреевич
Published: (Наука, 1975)

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

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

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

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

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

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

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

Элементы теории множеств и математической логики: учебное пособие
by: Дурнев В. Г. Валерий Георгиевич
Published: (Ярославль, Изд-во Ярославского ГУ, 1978)

Задачи по теории множеств, математической логике и теории алгоритмов
by: Лавров И. А. Игорь Андреевич
Published: (Москва, Физматлит, 2006)

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

Логика: учебное пособие: Дистанционное образование
by: Коровкина Н. М. Наталья Михайловна
Published: (Томск, Изд-во ТПУ, 2001)

Дискретная математика: учебное пособие
by: Долгих Б. А. Борис Александрович
Published: (Москва, Изд-во МГИУ, 2007)

Математическая логика и теория алгоритмов / ДО 2017: электронный курс
by: Стоянов А. К. Александр Кириллович
Published: (Томск, TPU Moodle, 2018)

Основания математики. Теория доказательств: пер. с нем.
by: Гилберт Д. Давид
Published: (Москва, Наука, 1982)

Введение в дискретную математику: учебное пособие
by: Кочетков П. А. Павел Анатольевич
Published: (Москва, Изд-во МГИУ, 2008)

Основания теории множеств: пер. с англ.
by: Френкель А. А. Абрахам А.
Published: (Москва, Мир, 1966)

Введение в дискретную математику: учебное пособие
by: Кочетков П. А. Павел Анатольевич
Published: (Москва, Изд-во МГИУ, 2007)

Логика: учебник
by: Ивин А. А. Александр Архипович
Published: (Москва, ФАИР-ПРЕСС, 1999)

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

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

Ч. 1 : Множества. Математическая логика; Методическое пособие по курсу "Основы кибернетики"
Published: (1985)

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

Логика: учебное пособие
by: Хоменко Е. А. Ефим Алексеевич
Published: (Москва, Воениздат, 1976)

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

Логика: учебное пособие для вузов
by: Ивин А. А. Александр Архипович
Published: (Москва, Высшая школа, 2004)

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