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
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