Gödel's incompleteness theorems,

This is a clearly written, brisk book. Advanced students will find it both a useful text and a valuable reference. It is a very complete account of the various proofs of the Gödel theorems and as such is a valuable contribution to the literature. (A.M. Coyne, Zbl. Math. 787)