Модальная логика: пер. с англ./

Модальная логика: пер. с англ./

Библиографическая информация
Главный автор:	Фейс, Р. Роберт (Автор)
Другие авторы:	Минц, Г. Е. (Редактор)
Формат:	Книга
Публикация:	М.: Наука 1974
Серии:	Математическая логика и основания математики
Предметы:	модальные логики математическая логика
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы

Современная модальная логика Развитие теории алетических модальностей (1920-1960гг. )
по: Слинин, Ярослав Анатольевич
Публикация: (1976)

Модальная логика
по: Ивлев, Юрий Васильевич 1936-
Публикация: (1991)

Логика учебник [для вузов]
по: Гетманова, Александра Денисовна
Публикация: (2010)

Логика учебник : [для студентов вузов]
по: Гетманова, Александра Денисовна
Публикация: (2011)

Логика учебник : [для студентов вузов, преподавателей]
по: Гетманова, Александра Денисовна
Публикация: (2008)

Логика учебник для бакалавров : [для студентов вузов]
по: Гетманова, Александра Денисовна
Публикация: (2014)

Логика и компьютер
Публикация: (1997)

Логика в 2 т.]
по: Гокиели, Леван Петрович
Публикация: (1965)

Философские проблемы логики (семантические аспекты): /
по: Целищев, В. В. Виталий Валентинович, et al.
Публикация: (1984)

Логические исследования
Публикация: (2001)

Математические вопросы кибернетики: сборник статей/
Публикация: (1989)

Логика углубленный курс : [учебное пособие для вузов]
по: Гетманова, Александра Денисовна
Публикация: (2007)

Математическая логика и теория алгоритмов
по: Гуц, Александр Константинович 1947-
Публикация: (2009)

Логические исследования [сборник статей
Публикация: (2005)

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

Логика Систематический курс
по: Курбатов, Владимир Иванович
Публикация: (2001)

Математическая логика и теория алгоритмов [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"]
по: Гуц, Александр Константинович 1947-
Публикация: (2016)

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

Логика учебник
Публикация: (2011)

Логика, мышление, информация
по: Брюшинкин, Владимир Никифорович 1953-2012
Публикация: (1988)

Первопорядковая модальная логика с 𝜆-оператором
по: Мухаметшина, Индира Искандаровна

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

Логика предикатов [учебно-методическое пособие для студентов гуманитарных направлений, изучающих дисциплину "Логика"]
по: Зеленкин, Владимир Харитонович
Публикация: (2015)

Логика учебник для бакалавров
Публикация: (2016)

Логика высказываний и предикатов. Неклассическая логика учебное пособие для студентов специальности 030101.65 Философия
по: Ненашев, Михаил Иванович
Публикация: (2009)

Эволюционная эпистемология и ненормальная модальная логика знания
по: Лобовиков, Владимир Олегович

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

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

Дискретная математика и математическая логика [учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям]
по: Аляев, Юрий Александрович
Публикация: (2006)

Счетные булевы алгебры и разрешимость
по: Гончаров, Сергей Савостьянович
Публикация: (1996)

Исследования по теории множеств и неклассическим логикам Сборник статей
Публикация: (1976)

Культура, образование и логика
по: Тульчинский, Григорий Львович

Русская логика-это очень просто!
по: Лобанов, Владимир Иванович
Публикация: (2006)

Логика
Публикация: (1913)

Логика учебник
по: Маслов, Николай Аркадьевич
Публикация: (2008)

Логика экзаменационные ответы для студентов вузов
по: Светлов, Виктор Александрович 1945-
Публикация: (2006)

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

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

Достоверный и правдоподобный вывод в интеллектуальных системах
Публикация: (2004)

Конспект лекций О. Б. Лупанова по курсу "Введение в математическую логику" [учебное пособие для студентов и аспирантов]
по: Лупанов, Олег Борисович
Публикация: (2007)