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

Общезначимые формулы
Аксиомы и правила вывода
Корректность исчисления предикатов
Содержание раздела

---