It bears repeating: if you haven't read his graphic novel Logicomix, stop what you're doing and get it. Right now.
This is homepage: http://www.cs.berkeley.edu/~christos/.
Bonus: If you are into it, study the characters' life (Russell, Whitehead, Wittgenstein, Frege, Godel).
Links:
https://en.wikipedia.org/wiki/Logicomix
Edit: [1]: It was the only comment when I commented
[edit: I guess it must be worse still that it's a GN (I love the format) and yet still died under what couldn't have been more than a few hundred requests... time to wonder about that shared hosting.]
http://www.amazon.com/Turing-Novel-Computation-Christos-Papa...