Logicomix: An Epic Search for Truth
Apostolos Doxiadis and Christos Papadimitriou