Элементы модальной логики: монография

Элементы модальной логики: монография

書目詳細資料
主要作者:	Костюк В. Н. Владимир Николаевич
企業作者:	Академия наук Украинской ССР Институт философии
語言:	俄语
出版:	Киев, Наукова думка, 1978
主題:	Модальная логика классическая логика пропозиционная алетическая логика предикаты деонтическая логика модальные исчисления монографии
格式:	圖書
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=371691

相似書籍

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

Понятие объекта в модальной логике
由: Целищев В. В. Виталий Валентинович
出版: (Новосибирск, Наука, 1978)

Модальные и интенсиональные логики и их применение к проблемам методологии науки
出版: (Москва, Наука, 1984)

Семантика модальных и интенсиональных логик: пер. с англ.
出版: (Москва, Прогресс, 1981)

Модальная логика оценок и норм с точки зрения содержательной этики и права
由: Лобовиков В. О. Владимир Олегович
出版: (Красноярск, Изд-во Красноярского ун-та, 1984)

Использование модальной логики для проектирования оболочек экспертных систем; Известия Томского политехнического университета [Известия ТПУ]; Т. 308, № 4
由: Ларионов Д. С.
出版: (2005)

Логико-философские исследования: Избранные труды; пер. с англ.
由: Вригт Г. Х. фон Георг Хенрик фон
出版: (Москва, Прогресс, 1986)

Неклассические логики и лямбда-исчисление: некоторые элементы
由: Грибанов Д. В.
出版: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)

Элементы математической логики
由: Новиков П. С. Петр Сергеевич
出版: (Москва, Наука, 1973)

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

Основания временной логики: [монография]
由: Караваев Э. Ф. Эдуард Федорович
出版: (Ленинград, Изд-во ЛГУ, 1983)

Современная логика и методология науки: сборник научных статей
出版: (Москва, Изд-во МГУ, 1987)

Неклассические логики и их применение; Вопросы кибернетики
出版: (1982)

Математика метаматематики: пер. с англ.
由: Расева Е. Елена
出版: (Москва, Наука, 1972)

Значение и необходимость. Исследование по семантике и модальной логике: пер. с англ.
由: Карнап Р. Рудольф
出版: (Москва, Изд-во иностранной литературы, 1959)

Философские проблемы логики. Семантические аспекты
由: Целищев В. В. Виталий Валентинович
出版: (Москва, Высшая школа, 1984)

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

Элементы неклассических логик и моделей вычислений учебно-методическое пособие
由: Малышев Д. С.
出版: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015)

Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие
由: Малышев Д. С.
出版: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017)

Логика норм
由: Ивин А. А. Александр Архипович
出版: (Москва, Изд-во Московского ун-та, 1973)

"Возможные миры" в философии и логике
由: Фатиев Н. И. Никита Игоревич
出版: (Иркутск, Изд-во Иркутского ун-та, 1993)

Логика и онтология
出版: (Москва, Наука, 1978)

Вып. 5; Логические исследования
出版: (1998)

Введение в математическую логику: монография; пер. с англ.; Т. 1
由: Чёрч А.
出版: (Москва, Изд-во иностранной литературы, 1960)

Логика изменения и модальная логика
由: Солодухин О. А. Олег Анатольевич
出版: (Ростов-на-Дону, Изд-во Ростовского ун-та, 1989)

Модальная логика
由: Ивлев Ю. В. Юрий Васильевич
出版: (Москва, Изд-во МГУ, 1991)

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

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

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

Логика. Общий курс формальной логики: учебник для вузов
由: Грядовой Д. И. Дмитрий Иосифович
出版: (Москва, ЮНИТИ, 2010)

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

Учебник логики со сборником задач
由: Гетманова А. Д. Александра Денисовна
出版: (Москва, Кнорус, 2006)

Логика и компьютер; Вып. 5; Пусть докажет компьютер
出版: (Москва, Наука, 2004)

Модальная логика: пер. с англ.
由: Фейс Р. Роберт
出版: (Москва, Наука, 1974)

Учебник логики со сборником задач
由: Гетманова А. Д. Александра Денисовна
出版: (Москва, КноРус, 2011)

Теория логического вывода
出版: (Москва, Наука, 1973)

Логика: учебное пособие для вузов
由: Панькова Н. М. Наталья Михайловна
出版: (Томск, Изд-во ТПУ, 2009)

Логическое программирование и моделирование систем: учебное пособие
由: Новосельцев В. Б. Виталий Борисович
出版: (Томск, Изд-во ТПУ, 2008)

Философские основания научной теории
出版: (Новосибирск, Наука, 1985)

Логика: учебное пособие для вузов
由: Ивин А. А. Александр Архипович
出版: (Москва, Высшая школа, 2004)