TY  - JOUR
AU  - V. A. Uspenskii
TI  - An elementary exposition of G\"odel's incompleteness theorem
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1974
SP  - 63
EP  - 106
VL  - 29
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_1974_29_1_a6/
LA  - en
ID  - RM_1974_29_1_a6
ER  -