I'm with you on ANKOS, but GEB is an accessible and fun (if a bit wordy) introduction to formal systems and Godel's theorem, so I wouldn't put it in the same category. GEB also was not marketed as anything revolutionary (except in its pedagogy). ANKOS and SoM were.