TY  - JOUR
AU  - A. D. Yashin
TI  - Semantic characterization of intuitionistic logical connectives
JO  - Matematičeskie zametki
PY  - 1985
SP  - 157
EP  - 166
VL  - 38
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1985_38_1_a17/
LA  - ru
ID  - MZM_1985_38_1_a17
ER  -