Franzen 2005 Godel's Theorem, An Incomplete Guide to Its Use and Abuse
Hintikka 2000 on Godel
After Godel, Mechanism Reason and Realism