Logicomix is an interesting project of Berkeley CS professor Christos Papadimitriou and writer / mathematician Apostolos Doxiadis. They are telling the story of the development of modern logic and theoretical computer science in the form of a comic book. The characters will include Turing, Gödel, Cantor, Russell, and many others. I find the idea very exciting.