%0 Journal Article %A L. L. Maksimova %T Interpolation in superintuitionistic predicate logics with %J Algebra i logika %D 1997 %P 543-561 %V 36 %N 5 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_1997_36_5_a4/ %G ru %F AL_1997_36_5_a4