https://www.carlitoergosum.nl/logicomix-2011-apostolos-k-doxiades-christos-h-papadimitriou-alecos-papadatos/