Непейвода Н.Н. Прикладная логика

Учебное пособие. — Ижевск, изд-во Удм. ун-та, 1997. — 385 стр. Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его молено использовать совместно с обучающими программами высокого уровня.
Рекомендуется для студентов и аспирантов специальностей - математика, прикладная математика, структурная прикладная лингвистика, философия, когнитивная психология. Содержание: Введение.
Язык математики.
Необходимость точного языка в математике.
Простейшие высказывания.
Запись высказываний. Логические формулы.
Методы перевода с естественного языка на математический и обратно.
Базовые математические понятия.
Классическая логика.
Индукция и определения.
Введение в синтаксис.
Семантика классической логики.
Семантические таблицы для классической логики.
Элементы нестандартного анализа.
Естественный вывод в классической логике.
Основы теории определений.
Неполнота и неформализуемость.
Введение в неклассические логики.
Основы λ-исчисления.
Корни неклассических логик.
Интуиционистская логика.
Семантики Крипке и базирующиеся на них логики.
Проблема отрицания.
Логики, базирующиеся на нестандартных отношениях следования.
Доказательства и программы.
Гибридные логические системы и развитие теории неформализуемости.
Применения логики в когнитивной науке.