TY - JOUR AU - M. Zakharyaschev TI - On intermediate logics JO - Doklady Akademii Nauk PY - 1983 SP - 18 EP - 22 VL - 269 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1983_269_1_a2/ LA - ru ID - DAN_1983_269_1_a2 ER -