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

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

Dades bibliogràfiques
Autor principal:	Ивлев Ю. В. Юрий Васильевич
Idioma:	rus
Publicat:	Москва, Изд-во МГУ, 1985
Matèries:	Модальная логика логика логическая семантика логические высказывания фактические модальности логические модальности предикаты построение
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=274828

Ítems similars

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Математическая логика: учебное пособие
per: Игошин В. И. Владимир Иванович
Publicat: (Москва, Инфра-М, 2019)

Математическая логика: учебное пособие
per: Игошин В. И. Владимир Иванович
Publicat: (Москва, Инфра-М, 2012)