%0 Journal Article
%A L. D. Beklemishev
%T On the classification of propositional provability logics
%J Izvestiya. Mathematics 
%D 1990
%P 247-275
%V 35
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1990_35_2_a0/
%G en
%F IM2_1990_35_2_a0