Plc, 2011. Doxiadis, Apostolos, and Christos H. Papadimitriou. Logicomix: An Epic Search for Truth. First Edition. Bloomsbury Publishing PLC, 2009. Goldrei, D.C. Classic Set Theory: A Guided Introduction. Chapman and Hall/CRC, 1996. Hodges, Wilfrid. Logic. 2nd Revised edition. Penguin, 2001. Martin, Ro