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

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

Bibliographic Details
Main Author:	Новиков П. С. Петр Сергеевич
Published:	Москва, Наука, 1973
Edition:	2-е изд., испр.
Series:	Математическая логика и основания математики
Subjects:	математика математическая логика высказывания логика предикатов аксиоматическая арифметика предикаты исчисление
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36746

Similar Items

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

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

Генценовские системы для исчисления высказываний и аксиоматической арифметики учебное пособие
by: Кипнис М. М. Михаил Маркович
Published: (Челябинск, Изд-во ЧПИ, 1985)

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

Введение в метаматематику пер. с англ.
by: Клини С. К. Стефен К.
Published: (Москва, Изд-во иностранной литературы, 1957)

Курс математической логики и теории вычислимости учебное пособие для вузов
by: Герасимов А. С. Александр Сергеевич
Published: (Санкт-Петербург, Лань, 2014)

Применение ЭВМ для решения задач математической логики учебное пособие
by: Мелихов А. Н. Аскольд Николаевич
Published: (Таганрог, Изд-воТРТИ, 1988)

Симметрическая конструктивная логика
by: Заславский И. Д. Игорь Дмитриевич
Published: (Ереван, Изд-во АН Армянской ССР, 1978)

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

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

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

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

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

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

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

Элементы математического анализа. (Множества и операции над ними. Элементы математической логики) учебное пособие
by: Комов Н. П. Николай Павлович
Published: (Ярославль, Изд-во ЯГПИ, 1987)

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

Дискретная математика учебное пособие
by: Бекарева Н. Д.
Published: (Новосибирск, НГТУ, 2019)

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

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

Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов учебное пособие для вузов
by: Косовский Н. К. Николай Кириллович
Published: (Ленинград, Изд-во Ленинградского ун-та, 1981)

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

Содержательная семантика модальной логики
by: Ивлев Ю. В. Юрий Васильевич
Published: (Москва, Изд-во МГУ, 1985)

Элементы теории систем
by: Марасанов В. В. Владимир Васильевич
Published: (Кишинев, Штиинца, 1991)

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

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

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

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

Язык логики пер. с англ.
by: Фрейденталь Х. Ханс
Published: (Москва, Наука, 1969)

Проектно-ориентированное обучение математической логике учебно-методическое пособие
by: Сангалова М. Е.
Published: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2013)

Математическая логика и теория алгоритмов учебное пособие
by: Михальченко Г. Е.
Published: (Красноярск, СФУ, 2018)

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

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

Основы логики учебник
by: Бочаров В. А. Вячеслав Александрович
Published: (Москва, Инфра-М, 2009)

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

Элементы модальной логики монография
by: Костюк В. Н. Владимир Николаевич
Published: (Киев, Наукова думка, 1978)

Ч. 2 : Теория множеств
Published: (1982)

Логика высказываний и булевы алгебры учебное пособие
by: Гринченков Д. В.
Published: (Новочеркасск, ЮРГПУ (НПИ), 2022)

Математическая логика учебно-методическое пособие по укрупненной группе специальностей и направлений подготовки 44.03.05 – педагогическое образование с двумя профилями подготовки (профили: «математика и физика», «математика и информатика»)
by: Друшляк А. И.
Published: (Севастополь, СевГУ, 2024)

Основы математической логики учебное пособие
by: Репницкий В. Б.
Published: (Екатеринбург, ЕАСИ, 2015)