TY - JOUR AU - L. L. Maksimova TI - Restricted interpolation property in superintuitionistic logics JO - Algebra i logika PY - 2009 SP - 54 EP - 89 VL - 48 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2009_48_1_a2/ LA - ru ID - AL_2009_48_1_a2 ER -