TY  - JOUR
AU  - S. K. Sobolev
TI  - On finite approximability of superintuitionistic logics
JO  - Sbornik. Mathematics
PY  - 1977
SP  - 257
EP  - 268
VL  - 31
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SM_1977_31_2_a8/
LA  - en
ID  - SM_1977_31_2_a8
ER  -