TY  - JOUR
AU  - M. V. Zakharyaschev
TI  - Disjunctive property of superintuitionist and modal logics
JO  - Matematičeskie zametki
PY  - 1987
SP  - 729
EP  - 738
VL  - 42
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1987_42_5_a12/
LA  - ru
ID  - MZM_1987_42_5_a12
ER  -