I read GEB cover to cover and haven’t stopped thinking about it for years. Not a brag, a nudge that it’s not impenetrable and more people should read it.
It is a popular science book which catches the vibe of mathematical logic in an excellent way. It is not a textbook, nor a piece of research. It's all vibes, but high-quality vibes. If you are in the right headspace it can be really inspiring!
If they do and enjoy it, good for them! But many parts haven't aged all that well.
However, I can still very warmly recommend 'The Pleasures of Counting' to this very day.
https://www.amazon.com/Godels-Theorem-Simplified-Harry-Gensl...