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

Примеры выводимых формул
Выводимость из посылок
Переменные и константы
Полнота исчисления предикатов

Переименование переменных
Содержание раздела

---