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

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

Бібліографічні деталі
Автор:	Костюк В. Н. Владимир Николаевич
Співавтор:	Академия наук Украинской ССР Институт философии
Опубліковано:	Киев, Наукова думка, 1978
Предмети:	классическая логика пропозиционная алетическая логика предикаты деонтическая логика модальные исчисления монографии
Формат:	Книга
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=371691

Схожі ресурси

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

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

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

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

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

Использование модальной логики для проектирования оболочек экспертных систем
за авторством: Ларионов Д. С.
Опубліковано: (2005)

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

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

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

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

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

Неклассические логики и их применение
Опубліковано: (1982)

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

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

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

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

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

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

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

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

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

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

Модальная логика
за авторством: Ивлев Ю. В. Юрий Васильевич
Опубліковано: (Москва, Изд-во МГУ, 1991)

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

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

Элементы теории систем
за авторством: Марасанов В. В. Владимир Васильевич
Опубліковано: (Кишинев, Штиинца, 1991)

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

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

Логика и компьютер
Опубліковано: (Москва, Наука, 2004)

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

Теория логического вывода
Опубліковано: (Москва, Наука, 1973)

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

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

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

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

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

Логический вывод
Опубліковано: (Москва, Наука, 1979)

Дискретная математика учебное пособие
за авторством: Бекарева Н. Д.
Опубліковано: (Новосибирск, НГТУ, 2019)

Математическая логика. Задачник-практикум и решения курс лекций учебное пособие
за авторством: Лихтарников Л. М. Леонид Моисеевич
Опубліковано: (СПб., Лань, 2009)

Логический словарь-справочник
за авторством: Кондаков Н. И. Николай Иванович
Опубліковано: (Москва, Наука, 1975)