2020/08/09 05:09An Introduction to Godel's Theorems (Second Edition) [pdf] https://www.logicmatters.net/resources/pdfs/godelbook/GodelBookLM.pdf