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

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

Opis bibliograficzny
1. autor:	Костюк В. Н. Владимир Николаевич
Korporacja:	Академия наук Украинской ССР Институт философии
Język:	rosyjski
Wydane:	Киев, Наукова думка, 1978
Hasła przedmiotowe:	Модальная логика классическая логика пропозиционная алетическая логика предикаты деонтическая логика модальные исчисления монографии
Format:	Książka
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=371691

Podobne zapisy

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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