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


         

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

Общезначимые формулы
Общезначимые формулы - 2
Аксиомы и правила вывода
Аксиомы и правила вывода - 2
Аксиомы и правила вывода - 3

Аксиомы и правила вывода - 4
Аксиомы и правила вывода - 5
Корректность исчисления предикатов
Содержание