Одинцов С.П., Сперанский С.О., Дробышевич С.А. Введение в неклассические логики

формат pdf
размер 995,75 КБ
добавлен 09 декабря 2014 г.

Одинцов С.П., Сперанский С.О., Дробышевич С.А. Введение в неклассические логики

Новосибирск: РИЦ НГУ (Механико–математический факультет), 2014. – 133 с.

Оглавление:

Начальные сведения.
Конструктивные логики
Разрешимость и другие фундаментальные свойства.
Модальные логики.
Список литературы.

Похожие разделы