Лекции для 1-го курса мехмата МГУ.Логика высказываний:
высказывания и операции,
полные системы связок.Исчисление высказываний, интуиционистская пропозициональная логика.
Языки первого порядка:
формулы и интерпретации,
определение истинности,
выразимые и невыразимые предикаты,
автоморфизмы,
элиминация кванторов.Исчисление предикатов:
общезначимые формулы,
аксиомы и правила вывода,
корректность исчисления предикатов,
выводы в исчислении предикатов,
теории и модели.
