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

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

Podrobná bibliografie
Hlavní autor:	Фейс Р. Роберт
Shrnutí:	Доп. тит. лист
Jazyk:	ruština
Vydáno:	Москва, Наука, 1974
Edice:	Математическая логика и основания математики
Témata:	модальная логика равенство математика модальность матрицы
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=60971

Podobné jednotky

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

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

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

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

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

Особенности изменения модальной семантики глагола MUSSEN в немецком языке; Вестник Томского государственного педагогического университета; № 6 (183)
Autor: Бабакина Т. Н. Татьяна Николаевна
Vydáno: (2017)

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

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

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

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

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

Математическая логика: пер. с англ.
Autor: Клини С. К. Стивен Коул
Vydáno: (Москва, Едиториал УРСС, 2005)

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

Логика в профессиональной деятельности: практикум
Autor: Ерохина Л. Д.
Vydáno: (Владивосток, ВВГУ, 2019)

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

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

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

Трудности доказательств: Как преодолеть страх перед математикой; пер. с англ.
Autor: Купиллари А. Антонелла
Vydáno: (Москва, Техносфера, 2002)

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

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

Логика: учебник
Autor: Маслов Н. А. Николай Аркадьевич
Vydáno: (Ростов-на-Дону, Феникс, 2008)

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

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

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

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

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

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

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

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

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

Логика: учебник и практикум для бакалавров
Autor: Сковиков А. К. Алексей Константинович
Vydáno: (Москва, Юрайт, 2013)

Математическая логика: пер. с англ.
Autor: Клини С. К. Стефан Коул
Vydáno: (Москва, Мир, 1973)

Математика и логика: ретроспектива и перспективы: пер. с англ.
Autor: Кац М. Марк
Vydáno: (Москва, Мир, 1971)

Введение в конечную математику: пер. с англ.
Autor: Кемени Дж.
Vydáno: (Москва, Изд-во иностранной литературы, 1963)

Коммуникативно-прагматическая функция субъективного компонента модальности (к постановке проблемы); Коммуникативные аспекты языка и культуры
Autor: Столярова А. В.
Vydáno: (2003)

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

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

Равенство, сходство, порядок
Autor: Шрейдер Ю. А. Юлий Анатольевич
Vydáno: (Москва, Наука, 1971)

Равенство, сходство, порядок
Autor: Шрейдер Ю. А. Юлий Анатольевич
Vydáno: (Москва, Мир, 1975)

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