Основания математической логики

Основания математической логики

Bibliographic Details
Main Author:	Карри, Хаскелл Брокс
Other Authors:	Гастев, Юрий Алексеевич 1928-1993 (Editor)
Format:	Book
Language:	Russian
Published:	Москва Мир 1969
Subjects:	Математическая логика логические антиномии формальные системы (мат. логика) алгорифмы эпитеория (мат. логика) монотонные отношения алгебры логические алгебра логическая реляционная структуры (мат.) импликация, теория алгебра логическая ассерторическая алгебры высказываний отрицание (мат. логика) кванторы кванторы, формы теории модальности необходимость (мат. логика), теория

Similar Items

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

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

Лекции по математической логике Учебное пособие для студентов математических специальностей вузов
by: Мощенский, Владимир Андреевич
Published: (1973)

Элементы математической логики
by: Новиков, Петр Сергеевич
Published: (1959)

Развитие многозначной логики
by: Карпенко, Александр Степанович 1946-
Published: (2016)

Натуральный вывод теоретико-доказательственное исследование
by: Правиц, Даг
Published: (2020)

Вводный курс математической логики [учебное пособие]
by: Успенский, Владимир Андреевич 1930-2018
Published: (2004)

Вводный курс математической логики [учебное пособие]
by: Успенский, Владимир Андреевич 1930-2018
Published: (2007)

Избранные труды Теория множеств и функций. Математическая логика и алгебра
by: Новиков, Петр Сергеевич
Published: (1979)

Алгебра и теория чисел [Учебное пособие для педагогических институтов по специальностям "Математика", "Математика и Физика" и "Физика и математика"]
by: Куликов, Леонид Яковлевич 1914-2001
Published: (1979)

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

Содержательная семантика модальной логики
by: Ивлев, Юрий Васильевич 1936-
Published: (1985)

Проблема гиперконнексивности в чистых теориях коннексивной импликации
by: Беликов, Александр Александрович

Логика высказываний: язык, алгебра, исчисления учебное пособие : [по программе бакалавриата по социально-экономическим и гуманитарным направлениям подготовки]
by: Кислов, Алексей Геннадьевич
Published: (2012)

Вопросы логики [сборник статей
Published: (1955)

Логическая семантика и модальная логика Сборник статей
Published: (1967)

Избранные работы [пер. с нем.]
by: Фреге, Готтлоб 1848-1925
Published: (1997)

Новое изложение логики, основанное на элементарных курсах математики и физики
by: Герн, Богдан Адольфович 1962-1939
Published: (1903)

Алгебра логики в задачах
by: Гиндикин, Семен Григорьевич
Published: (1972)

Очерки комплексной логики
by: Зиновьев, Александр Александрович 1922-2006
Published: (2000)

Нечеткие графы и гиперграфы
by: Берштейн, Леонид Самойлович
Published: (2005)

Импликации и модальности
by: Ивин, Александр Архипович 1939-
Published: (2004)

Хорошие кольца формальных матриц, автоморфизмы алгебр формальных матриц и системы формальных уравнений диссертация на соискание ученой степени кандидата физико-математических наук : 01.01.06
by: Норбосамбуев, Цырендоржи Дашацыренович
Published: (2018)

Дискретная математика для инженера
by: Кузнецов О. П.
Published: (2022)

Основания теории множеств
by: Френкель, Абрахам Адольф
Published: (2010)

Математическая логика Учебно-методическое пособие по курсу "Математическая логика"
Published: (2000)

Проблемы логики
Published: (1963)

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [учебное пособие по специальностям в области 090100 "Информационная безопасность"]
Published: (2008)

Дискретная математика для инженеров учебное пособие для студентов высших учебных заведений, обучающихся по специальности 080801 - "Прикладная информатика (по областям)" и другим экономическим специальностям
by: Пономарев, Вениамин Федорович
Published: (2009)

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

Логика и множества
by: Локшин, Александр Александрович
Published: (2002)

Математическая логика и теория алгоритмов для программистов учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
by: Гринченков, Дмитрий Валерьевич
Published: (2010)

Квантовая логика
by: Васюков, Владимир Леонидович
Published: (2005)

Введение в искусственный интеллект
by: Эртель, Вольфганг
Published: (2019)

Символическая логика [учебник для студентов и аспирантов философских факультетов университетов]
Published: (2005)

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

Логическая семантика и философские основания логики
by: Смирнова, Елена Дмитриевна
Published: (1986)

Автоматическое образование гипотез Математические основы общей теории
by: Гаек, Петр
Published: (1984)

Математическая логика и теория алгоритмов для программистов [учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"]
by: Гринченков, Дмитрий Валерьевич
Published: (2017)

Рассуждая логически. . . [Сборник]
Published: (2001)