Верещагин Н.К. Введение в математическую логику

Лекции для 1-го курса мехмата МГУ.

Логика высказываний:
- высказывания и операции,
- полные системы связок.

Исчисление высказываний, интуиционистская пропозициональная логика.

Языки первого порядка:
- формулы и интерпретации,
- определение истинности,
- выразимые и невыразимые предикаты,
- автоморфизмы,
- элиминация кванторов.

Исчисление предикатов:
- общезначимые формулы,
- аксиомы и правила вывода,
- корректность исчисления предикатов,
- выводы в исчислении предикатов,
- теории и модели.