Языки и исчисления

Языки первого порядка
Формулы и интерпретации
Определение истинности

Выразимые предикаты
Содержание раздела

---