Godels theorems: incomplete guide to its use and abuse - Franzen, Torkel (AK peters, 2005)