TY  - JOUR
AU  - A. U. Muravitskii
TI  - A result on the completeness of superintuitionistic logics
JO  - Matematičeskie zametki
PY  - 1984
SP  - 765
EP  - 776
VL  - 36
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1984_36_5_a13/
LA  - ru
ID  - MZM_1984_36_5_a13
ER  -