"Ограниченная интерполяция и проективное свойство Бета в эквациональной логике" - читать интересную книгу автора (Максимова Л. Л.)