Unsolvable Problems: 1990 Lecture Notes
Robert Geroch
The statement and proof of Godel's theorem is the subject of this book. The idea is quite simple, but it requires thinking about things in a new way. The book includes homework problems and exams with solutions and comments.