Godel's Proof, editura Taylor & Francis