I'm about half-way through it. I put it down for awhile and just started reading it again. There are nice sections on Lisp and Gödel in it. It's a good book.