Gödel's theorem : an incomplete guide to is use and abuse - Franzén, Torkel (CRC Press/Taylor & Francis Group, 2005)