%0 Journal Article
%A V. I. Stepanov
%T Self-applicable propositions for the~standard and Rosser predicates of provability
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1981
%P 254-255
%V 36
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RM_1981_36_1_a20/
%G en
%F RM_1981_36_1_a20