Logicomix: An Epic Search for Truth

Apostolos Doxiadis, Christos H Papadimitriou