TY - JOUR AU - A. D. Yashin TI - Semantic characterization of certain sets of intuitionistic logical connectives JO - Matematičeskie zametki PY - 1989 SP - 103 EP - 113 VL - 45 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZM_1989_45_5_a11/ LA - ru ID - MZM_1989_45_5_a11 ER -