Matematičeskie zametki, Tome 33 (1983) no. 6, pp. 915-927
Citer cet article
A. U. Muravitskii. Extensions of the provability logic. Matematičeskie zametki, Tome 33 (1983) no. 6, pp. 915-927. http://geodesic.mathdoc.fr/item/MZM_1983_33_6_a12/
@article{MZM_1983_33_6_a12,
author = {A. U. Muravitskii},
title = {Extensions of the provability logic},
journal = {Matemati\v{c}eskie zametki},
pages = {915--927},
year = {1983},
volume = {33},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1983_33_6_a12/}
}
TY - JOUR
AU - A. U. Muravitskii
TI - Extensions of the provability logic
JO - Matematičeskie zametki
PY - 1983
SP - 915
EP - 927
VL - 33
IS - 6
UR - http://geodesic.mathdoc.fr/item/MZM_1983_33_6_a12/
LA - ru
ID - MZM_1983_33_6_a12
ER -
%0 Journal Article
%A A. U. Muravitskii
%T Extensions of the provability logic
%J Matematičeskie zametki
%D 1983
%P 915-927
%V 33
%N 6
%U http://geodesic.mathdoc.fr/item/MZM_1983_33_6_a12/
%G ru
%F MZM_1983_33_6_a12
