Языки первого порядка
Формулы и интерпретации
Формулы и интерпретации - часть 2
Формулы и интерпретации - часть 3
Формулы и интерпретации - часть 4
Определение истинности
Определение истинности - часть 2
Определение истинности - часть 3
Выразимые предикаты