TY  - JOUR
AU  - A. I. Serebryanyi
TI  - Definability of the set of all true propositions of arithmetic by passage to the limit
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1997
SP  - 422
EP  - 423
VL  - 52
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_1997_52_2_a29/
LA  - en
ID  - RM_1997_52_2_a29
ER  -