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

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

Bibliografiset tiedot
Päätekijä:	Фейс Р. Роберт
Yhteenveto:	Доп. тит. лист
Kieli:	venäjä
Julkaistu:	Москва, Наука, 1974
Sarja:	Математическая логика и основания математики
Aiheet:	модальная логика равенство математика модальность матрицы
Aineistotyyppi:	Kirja
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=60971

Samankaltaisia teoksia

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Математическая логика: пер. с англ.
Tekijä: Клини С. К. Стефан Коул
Julkaistu: (Москва, Мир, 1973)

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

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

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

Математика и логика: ретроспектива и перспективы: пер. с англ.
Tekijä: Кац М. Марк
Julkaistu: (Москва, Мир, 1971)

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

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

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

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

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

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

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

Обеспечение равенства полов. Политика стран Западной Европы: [сборник]; пер. с англ.
Julkaistu: (Москва, Идея-Пресс, 2000)

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

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

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