TY  - JOUR
AU  - L. D. Beklemishev
TI  - Normalization of deductions and interpolation for some logics of provability
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1987
SP  - 223
EP  - 224
VL  - 42
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_1987_42_6_a8/
LA  - en
ID  - RM_1987_42_6_a8
ER  -