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

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

Bibliografiske detaljer
Hovedforfatter:	Новиков П. С. Петр Сергеевич
Sprog:	russisk
Udgivet:	Москва, Наука, 1973
Udgivelse:	2-е изд., испр.
Serier:	Математическая логика и основания математики
Fag:	математика математическая логика высказывания логика предикатов аксиоматическая арифметика предикаты исчисление
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36746

Lignende værker

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

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

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

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

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

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

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

Основы логики
af: Бочаров В. А. Вячеслав Александрович
Udgivet: (Москва, Космополис, 1994)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ч. 2 : Теория множеств; Справочная книга по математической логике
Udgivet: (1982)

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

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

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

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

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

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

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

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

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

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

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

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

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