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


         

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

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

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