I've been working my way through Kleene's "Mathmatical Logic". It's a great read so far, touching on the details and proofs in some detail. I'm looking forward

I've been working my way through Kleene's "Mathmatical Logic". It's a great read so far, touching on the details and proofs in some detail. I'm looking forward to the chapters on completeness and the like. I was mostly inspired to get his book because of the Kleene star, who knows why. Also, though very different, I just got GEB for Christmas, so I guess I'll be reading that finally now too.