I made a textbook on incompleteness for my Logic III course. See it/read about it over at the Open Logic Project.