TY - JOUR AU - L. L. Maksimova AU - V. F. Yun TI - WIP-minimal logics and interpolation JO - Sibirskie èlektronnye matematičeskie izvestiâ PY - 2015 SP - 7 EP - 20 VL - 12 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SEMR_2015_12_a1/ LA - ru ID - SEMR_2015_12_a1 ER -