|
|
|
Science Math Logic and Foundations
Science Math Logic and Foundations sites
Logic-and-Foundations.Math.sciencenter.work |
|
Science Math Logic and Foundations
Science Math Logic and Foundations sites
Logic-and-Foundations.Math.science-sites.work |
|
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 |
|
Introduction to Mathematical Logic
Hyper-textbook 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/ |
|