Godel's Theorem in Focus by S.G. Shanker
A layman's guide to the mechanics of Goedel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the significance of Goedel's work in the light of Wittgenstein's criticisms.