Введение в неклассические логики
Одинцов С.П., Сперанский С.О., Дробышевич С.А.
Новосибирск: РИЦ НГУ (Механико–математический факультет), 2014. – 133 с.Оглавление:Начальные сведения.
Конструктивные логики
Разрешимость и другие фундаментальные свойства.
Модальные логики.
Список литературы.
Конструктивные логики
Разрешимость и другие фундаментальные свойства.
Модальные логики.
Список литературы.