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

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

Dades bibliogràfiques
Autor principal:	Новиков П. С. Петр Сергеевич
Idioma:	rus
Publicat:	Москва, Наука, 1973
Edició:	2-е изд., испр.
Col·lecció:	Математическая логика и основания математики
Matèries:	математика математическая логика высказывания логика предикатов аксиоматическая арифметика предикаты исчисление
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36746

Ítems similars

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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