%0 Journal Article
%A M. F. Raţă
%T A formal reduction of the general problem of the expressibility of formulas in the G\"odel-L\"ob provability logic
%J Diskretnaya Matematika
%D 2002
%P 95-106
%V 14
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_2002_14_2_a8/
%G ru
%F DM_2002_14_2_a8