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

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

Show other versions (1)

Bibliographic Details
Main Author:	Новиков, Петр Сергеевич
Format:	Book
Language:	Russian
Published:	Москва Физматгиз 1959
Series:	Математическая логика и основания математики
Subjects:	основания математики математическая логика алгебра высказываний исчисление высказываний логика предикатов исчисление предикатов аксиоматическая арифметика доказательств теория (мат.) арифметика ограниченная

Similar Items

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

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

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

Введение в метаматематику
by: Клини, Стивен Коул 1909-1994
Published: (1957)

Einstieg in die mathematische Logik
by: Boehme, Gert
Published: (1981)

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

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

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

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

Теория доказательств
by: Такеути, Г.
Published: (1978)

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

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

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

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

Введение в метаматематику
by: Клини, Стивен Коул 1909-1994
Published: (2009)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Logic for computer scientists
by: Schoening, Uwe 1955-
Published: (2001)

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

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