%0 Journal Article
%A S. N. Artemov
%A G. K. Japaridze
%T Effective predicate logics of provability
%J Doklady Akademii Nauk
%D 1987
%P 521-523
%V 297
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1987_297_3_a0/
%G ru
%F DAN_1987_297_3_a0