

Science Math Logic and Foundations Science Math Logic and Foundations sites LogicandFoundations.Math.sciencenter.work 

Science Math Logic and Foundations Science Math Logic and Foundations sites LogicandFoundations.Math.sciencesites.work 

Classical Logic Introduction to classical logic , including completeness and LĂ¶wenheimSkolem theorems; by Stewart Shapiro. plato.stanford.edu/entries/logicclassical/ 

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 

Introduction to Mathematical Logic Hypertextbook for students by V. Detlovs and K. Podnieks. www.ltn.lv/~podnieks/mlog/ml.htm 

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/ 
