Gödel's Theorem : : An Incomplete Guide to its Use and Abuse - FRANZEN, Torkel (A K Peters, 2005)