Logicomix: An Epic Search for Truth

by Apostolos Doxiadis and Christos Papadimitriou