Mathematical Logic and Foundations:
From The Mathematical Atlas, a resource of mathematics maintained by
David Rusin. Extensive resources related to logic and set theory.
http://www.math.niu.edu/~rusin/known-math/index/03-XX.html
Abstract Service:
An archive of abstracts of logic articles at the Institute for
Logic, University of Vienna.
http://www.logic.univie.ac.at/abstract/
Math Front: LO Logic:
Front end for the logic section of the mathematics e-print arXiv.
http://front.math.ucdavis.edu/math.LO
Mind Versus Goedel by Damjan Bojadziev:
Compares the mind to advanced computers and artificial intelligence,
as Goedel would possibly view them.
http://nl.ijs.si/~damjan/g-m-c.html
Classical Logic:
Introduction to classical logic, including completeness and Lأ¶wenheim-Skolem
theorems; by Stewart Shapiro.
http://plato.stanford.edu/entries/logic-classical/
Logic and Games:
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
http://plato.stanford.edu/entries/logic-games/
