TY - JOUR AU - L. L. Esakia TI - Topological Kripke models JO - Doklady Akademii Nauk PY - 1974 SP - 298 EP - 301 VL - 214 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1974_214_2_a15/ LA - ru ID - DAN_1974_214_2_a15 ER -