I really like GEB.

Most proof of the Gödel theorem use the primes encoding that is makes all the operations very unintuitive. But GEB uses just ascii and a lot of the side task get obvious. (It uses base 20 instead of 256, but it's the same idea.)

> is¨notoriously digressive and quirky

It is super mega ultra notoriously digressive and quirky.