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

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

Manylion Llyfryddiaeth
Awdur Corfforaethol:	Академия наук СССР Институт философии
Awduron Eraill:	Таванец П. В. (340)
Cyhoeddwyd:	Москва, Наука, 1973
Pynciau:	логические выводы теория дедукция кванторы модальная логика пространственно-временные отношения
Fformat:	Llyfr
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=355045

Eitemau Tebyg

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Исследование алгоритмов логического вывода
gan: Осадчая И. А.
Cyhoeddwyd: (2015)

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

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

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

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

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

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

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

Мысли о современной математике и ее изучении
gan: Кудрявцев Л. Д. Лев Дмитриевич
Cyhoeddwyd: (Москва, Наука, 1977)

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

Critical Thinking. A Concise Guide
gan: Bowell T. Tracy
Cyhoeddwyd: (London, Routledge, 2004)

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

Обольстить логикой. Выводы на все случаи жизни
gan: Дрёссер К. Кристоф
Cyhoeddwyd: (Москва, Лаборатория знаний, 2025)

Дискретная математика. Математика для менеджера в примерах и упражнениях учебное пособие
gan: Москинова Г. И. Галина Ивановна
Cyhoeddwyd: (Москва, Логос, 2007)

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