Теория логического вывода

Теория логического вывода

Dades bibliogràfiques
Autor corporatiu:	Академия наук СССР Институт философии
Altres autors:	Таванец П. В. (редактор)
Idioma:	rus
Publicat:	Москва, Наука, 1973
Matèries:	Вывод > Логика логические выводы теория дедукция кванторы модальная логика пространственно-временные отношения
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=355045

Ítems similars

Теория логического вывода
per: Смирнов В. А. Владимир Александрович
Publicat: (Москва, РОССПЭН, 1999)

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

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

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

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

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

Теория поиска вывода. Происхождение и философские приложения монография
per: Брюшинкин В. Н.
Publicat: (Калининград, БФУ им. И.Канта, 2012)

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

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

Система принципов построения дедуктивных теорий
per: Кедровский О. И. Олег Иванович
Publicat: (Киев, Выща школа, 1990)

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

Кн. 1; Логика как часть теории познаний и научной методологии
Publicat: (1994)

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

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

Что такое математическая логика?
per: Калужнин Л. А. Лев Аркадьевич
Publicat: (Москва, Наука, 1964)

Логический вывод
Publicat: (Москва, Наука, 1979)

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

ДСМ-метод автоматического порождения гипотез. Логические и эпистемологические основания
Publicat: (Москва, Либроком, 2009)

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

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

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

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

Математическая логика: учебник
per: Никольская И. Л. Инна Львовна
Publicat: (Москва, Высшая школа, 1981)

Логика: учебник
per: Кириллов В. И. Вячеслав Иванович
Publicat: (Москва, Проспект, 2021)

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

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

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

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

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

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

Логика и теория познания: межвузовский сборник
Publicat: (Ленинград, Изд-во ЛГУ, 1990)

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

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

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

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

Логика. Экзаменационные ответы для студентов вузов: учебное пособие
per: Светлов В. А. Виктор Александрович
Publicat: (СПб., Питер, 2008)

Логика. Теория и практика аргументации: учебник для вузов
per: Хоменко И. В. Ирина Викторовна
Publicat: (Москва, Юрайт, 2010)

Достоверный и правдоподобный вывод в интеллектуальных системах
Publicat: (Москва, Физматлит, 2004)

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

Модальная логика: пер. с англ.
per: Фейс Р. Роберт
Publicat: (Москва, Наука, 1974)