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