[bsdpufferfish]

Why are you interested? I recommend the short book "Godel's proof".

Godel's work is wrapped up in historical context which is both interesting and distracting from the core idea. For example, Bertrand's Russells' work and book isn't really essential, it's just the system which Godel worked in to do his proof.