Gregor Lafitte's short paper: "G\"odel incompleteness revisited" is 
is a freely downloadable nice and concise overview of different kinds 
of proofs with a long list of references:

hal.archives-ouvertes.fr/docs/00/27/45/64/PDF/74-89.pdf