Geometry

Set Theory and Foundations of Mathematics 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 philosophica… Introduction to Mathematical Logic Introduction to Mathematical Logic- Hyper-textbook for students by V. Detlovs and K. Podnieks. Classical Logic Classical Logic- Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. Computability Logic Homepage Computability Logic Homepage- Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.