CS157 (Computational Logic) at Stanford has made all its lectures etc. public. You can find it here: http://intrologic.stanford.edu/stanford/index.php

I attended the course - and learned a lot!