180

Мне очень помогла классическая книга Эрнеста Нагеля и Джеймса Р. Ньюмена (Ernest Nagel, James R. Newman) Gödel’s Proof с предисловием Дугласа Р. Хофштадтера (Douglas R. Hofstadter), 2-е издание (New York: New York University Press, 2002).