There is always room for one more book on Gödel’s Incompleteness Theorems. Today, there was an announcement on the FOM discussion list by the author, Peter Smith, of An Introduction to Gödel’s Theorems . The author describes the book at his website:
You can get some idea of what is in the book by looking at the chapter titles listed on the CUP website entry. The book is being published straight into paperback in an relatively inexpensive series, ‘Cambridge Introductions to Philosophy’. And the book is indeed intended as an introduction in two senses. First, it should be accessible to advanced undergraduates and beginning graduate students doing a first course in mathematical logic (though I should stress that it isn’t really just for philosophers: mathematicians should like it too). And second, I hope that — time, enthusiasm, and publisher permitting — there will eventually be a more substantial follow-up, Incompleteness after Gödel.
Looking at the Table of Contents, it would appear that this book will be best appreciated by those with (as stated above) some background in mathematical logic, and by those at least a little understanding of, and passion for, foundational issues in mathematics.
 Smith, P. 2007. An Introduction to Gödel’s Theorems. Cambridge Univ. Press. ISBN:0521674530.