%0 Journal Article
%A R. È. Yavorskii
%T Axiom systems and models for first-order theories with a provability operator
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 1996
%P 12-16
%N 1
%U http://geodesic.mathdoc.fr/item/VMUMM_1996_1_a1/
%G ru
%F VMUMM_1996_1_a1