-
В. А. Успенский, “Теорема Гёделя о неполноте в элементарном изложении”, УМН, 29:1(175) (1974),
3–47 
; V. A. Uspenskii, “An elementary exposition of Gödel's incompleteness theorem”, Russian Math. Surveys, 29:1 (1974), 63–106 
; V. A. Uspenskii, “An elementary exposition of Gödel's incompleteness theorem”, Russian Math. Surveys, 29:1 (1974),