If you’ve not been following the short-chapter-a-day postings of a revised “Gödel Without (Too Many) Tears”, it’s a good week to join the party! Catch up + chapter on arithm. of syntax today; First Theorem tomorrow; getting to Tarski on Friday. https://t.co/LZvX4S33mQ