Displaying similar documents to “Устранение правил типа сечения в аксиоматических теориях с равенством”