Here's something I just read about over at LogBlog. It's a graphic novel with a logical focus, written by Apostolos Doxiadis (author of the mathematically-tinged 1992 novel Uncle Petros and Goldbach's Conjecture) and computer scientist Christos Papadimitriou. Papadimitriou might be best known to logicians from his textbook with Harry Lewis on the theory of computation. [...]