TY  - JOUR
AU  - V. I. Khomich
TI  - The simple substitution property for superintuitionistic propositional logics and its relation to the separability property
JO  - Izvestiya. Mathematics 
PY  - 2003
SP  - 377
EP  - 404
VL  - 67
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_2003_67_2_a7/
LA  - en
ID  - IM2_2003_67_2_a7
ER  -