Структура исчисления предикатов построение логического вывода

Aвтор: Зубарев А., Столяров А., Докукин А., Китирисов Г. Примечание:от авторов: реферат по логике 2003г., МарГТУ, кафедра ИВС

Структура исчисления предикатов построение логического вывода