11. Интерпретация и полнота исчисления предикатов

Алгоритмы и теория вычислений. Кузнецов О.П. (ВШЭ)