%0 Journal Article
%A L. D. Beklemishev
%T Provability logic without Craig's interpolation property
%J Matematičeskie zametki
%D 1989
%P 12-22
%V 45
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1989_45_6_a1/
%G ru
%F MZM_1989_45_6_a1