"О связи проблемы равенства и разрешимости эквациональной теории" - читать интересную книгу автора (Попов В. Ю.)