TY - JOUR AU - L. L. Maksimova TI - Interpolation and Definability in Extensions of the Minimal Logic JO - Algebra i logika PY - 2005 SP - 726 EP - 750 VL - 44 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2005_44_6_a3/ LA - ru ID - AL_2005_44_6_a3 ER -