%0 Journal Article
%A A. I. Serebryanyi
%T Definability of the set of all true propositions of arithmetic by passage to the limit
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1997
%P 422-423
%V 52
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RM_1997_52_2_a29/
%G en
%F RM_1997_52_2_a29