Элементы математической логики

Элементы математической логики

Показать другие варианты (1)

Библиографическая информация
Главный автор:	Новиков, Петр Сергеевич
Формат:	Книга
Язык:	Russian
Публикация:	Москва Физматгиз 1959
Серии:	Математическая логика и основания математики
Предметы:	основания математики математическая логика алгебра высказываний исчисление высказываний логика предикатов исчисление предикатов аксиоматическая арифметика доказательств теория (мат.) арифметика ограниченная

Похожие документы

Теория моделей в Казахстане сборник научных работ, посвященный памяти А. Д. Тайманова
Публикация: (2006)

Математическая логика учебное пособие : [для студентов вузов по направлению подготовки 44.03.05 "Педагогическое образование" (бакалавриат)]
по: Игошин, Владимир Иванович
Публикация: (2016)

Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 032100 "Математика"]
по: Тимофеева, Ирина Леонидовна
Публикация: (2007)

Введение в метаматематику
по: Клини, Стивен Коул 1909-1994
Публикация: (1957)

Einstieg in die mathematische Logik
по: Boehme, Gert
Публикация: (1981)

Квазиматричная (квазифункциональная) логика
по: Ивлев, Юрий Васильевич 1936-
Публикация: (2018)

Элементарное введение в математическую логику Пособие для учителей
по: Столяр, Абрам Аронович
Публикация: (1965)

Курс математической логики и теории вычислимости учебное пособие
по: Герасимов, Александр Сергеевич
Публикация: (2011)

Математическая логика курс лекций и практических занятий : [учебное пособие для студентов вузов, обучающихся по специальности 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"]
по: Шапорев, Сергей Дмитриевич
Публикация: (2005)

Теория доказательств
по: Такеути, Г.
Публикация: (1978)

Элементы математической логики и теории множеств
по: Пензов, Юрий Ефимович
Публикация: (1968)

Математическая логика. Курс лекций и практических занятий: Учебное пособие для вузов/
по: Шапорев, С. Д. Сергей Дмитриевич
Публикация: (2005)

Введение в математическую логику
по: Мендельсон, Эллиот
Публикация: (1984)

Математическая логика и теория алгоритмов: учебное пособие/
по: Игошин, В. И. Владимир Иванович
Публикация: (2010)

Введение в метаматематику
по: Клини, Стивен Коул 1909-1994
Публикация: (2009)

Сборник задач по математической логике и теории алгоритмов: учебное пособие/
по: Игошин, В. И. Владимир Иванович
Публикация: (2019)

Математическая логика
по: Клини, Стивен Коул 1909-1994
Публикация: (2007)

Математическая логика
по: Клини, Стивен Коул 1909-1994
Публикация: (2005)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов/
по: Игошин, В. И. Владимир Иванович
Публикация: (2008)

Математическая логика Учебное пособие для математических специальностей вузов
по: Ершов, Юрий Леонидович 1940-
Публикация: (1979)

Математическая логика Учебное пособие для математических специальностей вузов
по: Ершов, Юрий Леонидович 1940-
Публикация: (1987)

Математическая логика [Учебное пособие для математических специальностей вузов]
по: Колмогоров, Андрей Николаевич 1903-1987
Публикация: (2004)

Математическая логика [Учебное пособие для математических специальностей педагогических институтов]
по: Столяр, Абрам Аронович
Публикация: (1991)

Курс математической логики и теории вычислимости учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.]
по: Герасимов, Александр Сергеевич
Публикация: (2014)

Лекции по математической логике и теории алгоритмов учебно-методический комплекс
по: Агибалов, Геннадий Петрович 1939-2020
Публикация: (2007)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров, Игорь Андреевич
Публикация: (2009)

Математическая логика и теория алгоритмов [учебное пособие для бакалавров, обучающихся по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы"]
по: Крупский, Владимир Николаевич
Публикация: (2013)

Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 032100 "Математика"]
по: Игошин, Владимир Иванович
Публикация: (2005)

Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 050201 "Математика"]
по: Игошин, Владимир Иванович
Публикация: (2008)

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

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

Математическая логика и теория алгоритмов [учебное пособие для вузов по специальностям "Комплексное обеспечение информационной безопасности автоматизированных систем", "Организация и технология защиты информации"]
по: Зюзьков, Валентин Михайлович
Публикация: (2007)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров, Игорь Андреевич
Публикация: (1984)

Математическая логика [учебное пособие для студентов высших учебных заведений, обучающихся по направлениям и специальностям: "Математика", "Прикладная математика и информатика", "Механика"]
по: Ершов, Юрий Леонидович 1940-
Публикация: (2011)

Математическая логика и теория алгоритмов [учебное пособие]
по: Хусаинов, Ахмет Аксанович
Публикация: (2005)

Математическая логика
по: Гудстейн, Рейбен Луис
Публикация: (2010)

Математическая логика дополнительные главы : [учебное пособие для студентов математических специальностей вузов]
по: Колмогоров, Андрей Николаевич 1903-1987
Публикация: (2013)

Logic for computer scientists
по: Schoening, Uwe 1955-
Публикация: (2001)

Математическая логика [учебное пособие по техническим и естественно-научным специальностям]
по: Лавров, Игорь Андреевич
Публикация: (2006)

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