Gödel Without (Too Many) Tears, by Peter Smith. Also his An Introduction to Gödel’s Theorems. https://www.logicmatters.net/books/ https://www.logicmatters.net/

Gödel Without (Too Many) Tears, by Peter Smith. Also his An Introduction to Gödel’s Theorems. https://www.logicmatters.net/books/ https://www.logicmatters.net/books/