Интерполяция в суперинтуиционистских логиках предикатов с равенством. Л.Л. Максимова; L. L. Maksimova; L. L. Maksimova; L. L. Maksimova — 1997 Algebra i Logika