Godel’s Theorems

Peter Smith has posted the complete draft of his book on Godel’s Theorems online (forthcoming from CUP).  Among other things, the book contains some interesting and provocative remarks about the Church-Turing thesis, including an argument that it is provable.  Smith invites everyone to check out his book and send him comments and corrections.

His website also contains two handouts that may be useful:

Developing a Writing Style

Getting Published (note that Smith was the editor of Analysis for 12 years).