关于逻辑的漫画：logicomix

从Wadler的网志看来的。Logicomix是Christos Papadimitriou和他的朋友Apostolos Doxiadis 合作的一本漫画，讲述了逻辑学在20世纪扮演的角色。漫画的角色有图灵，康托，罗索，和歌德尔。Christo Popadimitriou当然是大大有名的了。学过计算复杂性的人多半看过他的书Computational Complexity。他教的课Reading Classics也挺有意思，让学生讨论经典的论文。嗯，我都等不及了看这部漫画了。