Logic self study

First of 3 blog posts on materials from which to learn mathematical logic. Make sure to read the comments as well as the post.

Peter Smith's Logic Matters blog

I clicked through to the Godel's Thm stuff, which looks good.