TY  - JOUR
AU  - V. I. Khomich
TI  - Separability of normalizable superintuitionistic propositional logics
JO  - Matematičeskie zametki
PY  - 1998
SP  - 606
EP  - 615
VL  - 64
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1998_64_4_a13/
LA  - ru
ID  - MZM_1998_64_4_a13
ER  -