The most accurate text (even for beginners) in my opinion is C. Smorynski's paper in the Handbook of Mathematical Logic - "The incompleteness theorems". I think it answers all your three requirements.
|
1 | [made Community Wiki] | ||
|
|
||||
