I did a University module on Godel' Incompleteness theotem and the complete lecture notes which gave all the lead up, explanation and the proof itself along wit

I did a University module on Godel' Incompleteness theotem and the complete lecture notes which gave all the lead up, explanation and the proof itself along with lots of othet related material was only about 50 pages in total if I recall correctly. Was a pleasure to do that module though!