%0 Journal Article
%A Fedorishin, B.R.
%T An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.
%J Sibirskij Matematicheskij Zhurnal
%D 2007
%P 423
%V 48
%N 2
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/SMZ_2007__48_2_55565/
%G en
%F SMZ_2007__48_2_55565