Содержательная семантика модальной логики

Содержательная семантика модальной логики

Détails bibliographiques
Auteur principal:	Ивлев Ю. В. Юрий Васильевич
Langue:	russe
Publié:	Москва, Изд-во МГУ, 1985
Sujets:	Модальная логика логика логическая семантика логические высказывания фактические модальности логические модальности предикаты построение
Format:	Livre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=274828

Documents similaires

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

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

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

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

Основания математической логики: пер. с англ.
par: Карри Х. Хаскелл
Publié: (Москва, Мир, 1969)

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

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

Предметная область в логической семантике: монография
par: Бессонов А. В. Александр Владимирович
Publié: (Новосибирск, Наука, 1985)

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

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

Математическая логика: учебное пособие
par: Лавров И. А. Игорь Андреевич
Publié: (Москва, Академия, 2006)

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

Логика и логическая семантика: Сборник трудов: пер. с нем.
par: Фреге Г. Готтлоб
Publié: (Москва, Аспект Пресс, 2000)

Логика: теория аргументации и критического мышления
par: Воробьева С. В.
Publié: (Минск, БГУ, 2018)

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

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

Логическая семантика и философские основания логики
par: Смирнова Е. Д. Елена Дмитриевна
Publié: (Москва, Изд-во МГУ, 1986)

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

Логика: Систематический курс
par: Курбатов В. И. Владимир Иванович
Publié: (Ростов-на-Дону, Феникс, 2001)

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

Модальная интерпретация действительности Монография
par: Мёдова А. А.
Publié: (Красноярск, СибГУ им. академика М. Ф. Решетнёва, 2020)

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

Вып. 3; Логические исследования
Publié: (1995)

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

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

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

Логика электрон. учеб.-метод. комплекс для студентов специальности 1-28 01 02 «электронный маркетинг»
par: Магалинский И. В.
Publié: (Новополоцк, ПГУ им. Евфросинии Полоцкой, 2021)

Логические и математические исчисления: учебное пособие
par: Шиханович Ю. А. Юрий Александрович
Publié: (Москва, Научный мир, 2011)

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

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

Так-логично!: пер. с венг.
par: Хаваш К.
Publié: (Москва, Прогресс, 1985)

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

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

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

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

Семантика и теория игр
par: Блинов А. Л. Аркадий Леонидович
Publié: (Новосибирск, Наука, 1983)

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

Наука программирования: пер. с англ.
par: Грис Д. Дэвид
Publié: (Москва, Мир, 1984)

Логика: [учебное пособие]
par: Бартон В. И. Виталий Иванович
Publié: (Минск, Новое знание, 2008)

Основы математической логики
par: Паршенкова Ю. А.
Publié: (Москва, РТУ МИРЭА, 2023)