О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством

А. Ю. Плюшкевичене

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

• 
•