I found 'Gödel’s Proof' fascinating—surprisingly more so than GEB, which I'd anticipated loving for years before dipping into it (I didn't finish, but the primary reason was loss of interest). It was one of the first things I came across that gave me the sense of something like 'mathematical system architecture'.