Подбор термов в кванторных правилах конструктивного исчисления предикатов

Г. Е. Минц

Реферативные базы данных:

• 
•