an exceptionally clear exposition of Godel's Incompleteness Theorem, Godel's Proof by Ernest Nagel


I gave this a try. Never finished it though.