Logicomix — Apóstolos K. Doxiádīs, Chrístos Ch. Papadīmītríou