Retired from Cambridge University, interested in logic and philosophy of maths.

I waste time on twitter @PeterSmith (http://twitter.com/PeterSmith/)

For more about me, and links to my blog and website, see http://www.logicmatters.net/about/