Starting Simply Gödel by Richard Tieszen. It’ll be interesting to see how it works as an audiobook. 📚