Logic on the Web
The Mathematical Logic Around the World page is maintained by Martin Goldstern. It says "According to Google, this is one of the most authoritative sources for mathematical logic on the web."
Google's Logic and Foundations of Maths page is also useful.
