|
|
Advertiser login |
| Home > Science > Mathematics > Logic and Foundations |
| Logic and Foundations | |
|
Directory Listings Classical Logic Overview to classical logic, including completeness and the Löwenheim-Skolem theorems by Professor Stewart Shapiro. http://plato.stanford.edu/entries/logic-classical/ - profile Computability Logic Homepage Main online source on computability logic, - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. http://www.cis.upenn.edu/~giorgi/cl.html - profile Mathematical Logic and Foundations Extensive resources related to logic and set theory. http://www.math.niu.edu/~rusin/known-math/index/03-XX.html - profile |
Submit a Site
Sub Categories: Computability Computational Logic Game Semantics Knowledge Representation and Planning Model Theory Nonstandard Logics and Extensions Proof Theory Set Theory Popular Categories: Algebra Analysis Calculus Chaos and Fractals Combinatorics Differential Equations Geometry Number Theory Numerical Analysis Operations Research |
| Uncover the Net - Advertisers Center - Categories A-Z - Company Information - Privacy Policy |