For a shorter (but still fairly thorough) introduction by the same author, I recommend: https://www.logicmatters.net/igt/godel-without-tears/ https://www.logic

For a shorter (but still fairly thorough) introduction by the same author, I recommend: https://www.logicmatters.net/igt/godel-without-tears/ https://www.logicmatters.net/igt/godel-without-tears/ I found this super helpful when I was studying Gödel's theorems in grad school. (Fwiw, the 3rd edition of Boolos & Jeffrey's Computability and Logic is also great and takes a somewhat atypical approach to the proofs.)