Geodesic
Normalization of deductions and interpolation for some logics of provability
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 42 (1987) no. 6, pp. 223-224

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{RM_1987_42_6_a8,
     author = {L. D. Beklemishev},
     title = {Normalization of deductions and interpolation for some logics of provability},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {223--224},
     publisher = {mathdoc},
     volume = {42},
     number = {6},
     year = {1987},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RM_1987_42_6_a8/}
}
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  - 
%0 Journal Article
%A L. D. Beklemishev
%T Normalization of deductions and interpolation for some logics of provability
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1987
%P 223-224
%V 42
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RM_1987_42_6_a8/
%G en
%F RM_1987_42_6_a8
L. D. Beklemishev. Normalization of deductions and interpolation for some logics of provability. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 42 (1987) no. 6, pp. 223-224. http://geodesic.mathdoc.fr/item/RM_1987_42_6_a8/