For a shorter (but still fairly thorough) introduction by the same author, I recommend: https://www.logicmatters.net/igt/godel-without-tears/ I found this super helpful when I was studying Gödel's theorems in grad…
For a shorter (but still fairly thorough) introduction by the same author, I recommend: https://www.logicmatters.net/igt/godel-without-tears/ I found this super helpful when I was studying Gödel's theorems in grad…