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

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

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