Classical Logic introduction to classical logic , including completeness and löwenheim-skolem theorems; by stewart shapiro. plato.stanford.edu/entries/logic-classical/
Computability Logic Homepage main online source on computability logic - a recently emerged formal theory of computational tasks and resources. maintained by g. japaridze. www.cis.upenn.edu/~giorgi/cl.html
Set Theory and Foundations of Mathematics personal project to rebuild mathematics in a short and rigorous way from a new formalization of set theory , and explain its philosophical aspects. also includes some physics. www.settheory.net/
Help build the largest human-edited directory on the web.