Members Login
Directory links
- Directories (11)
- Education (18)
- Institutions (60)
- Meetings (142)
- Online Discussion Groups (3)
- Organizations (13)
- People (123)
- Publications (26)
- Software (28)
- Category Theory@ (40)
- Computability (11)
- Computational Logic (32)
- Foundations (8)
- Game Semantics (13)
- History (98)
- Knowledge Representation and Planning (2)
- Model Theory (4)
- Nonstandard Logics and Extensions (124)
- Philosophy of Logic@ (108)
- Proof Theory (14)
- Set Theory (69)
Directory in other languages
MATH LOGIC AND FOUNDATIONS
Top -> Science -> Math -> Logic and Foundations (805)
Mathematical Logic around the World
A rich collection of links to logic-related websites.
www.uni-bonn.de
A rich collection of links to logic-related websites.
www.uni-bonn.de
Introduction to Mathematical Logic
Hyper-textbook for students by V. Detlovs and K. Podnieks.
www.ltn.lv
Hyper-textbook for students by V. Detlovs and K. Podnieks.
www.ltn.lv
Mind Versus Goedel by Damjan Bojadziev
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
nl.ijs.si
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
nl.ijs.si
Classical Logic
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
plato.stanford.edu
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
plato.stanford.edu
Mathematical Logic and Foundations
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
www.math.niu.edu
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
www.math.niu.edu
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
Main online source on computability logic a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
www.cis.upenn.edu
