Logic and Foundations

Add URL | 

Categories Computability (0) Computational Logic (0) Game Semantics (0) Knowledge Representation and Planning (0) Model Theory (0) Nonstandard Logics and Extensions (0) Proof Theory (0) Set Theory (0) Links Overview to classical logic, including completeness and the Löwenheim-Skolem theorems by Professor Stewart Shapiro. plato.stanford.edu/entries/logic-classical/ 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 Extensive resources related to logic and set theory. www.math.niu.edu/~rusin/known-math/index/03-XX.html