This category is about mathematical logic and foundations of mathematics. (So it roughly corresponds to category 03-XX in the 1991 Mathematical Sciences Classification.) Major related subjects outside mathematics are ... [MORE] Category Theory@ (43) Computability (13) Computational Logic (34) Directories (15) Education (19) Foundations (8) Game Semantics (13) History (112) Institutions (65) Knowledge Representation & Planning (2) Meetings (177) Model Theory (4) Nonstandard Logics & Extensions (142) Online Discussion Groups (3) Organizations (14) People (130) Philosophy of Logic@ (115) Proof Theory (16) Publications (29) Set Theory (74) Software (31) 1. Introduction to Mathematical Logic - Hyper-textbook for students by V. Detlovs and K. Podnieks. 2. Logic - Open Encyclopedia entry. Hierarchically organized by subareas. 3. Logic - NodeWorks Encyclopedia article. 4. Classical Logic - Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. 5. Computability Logic Homepage - Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. 6. Math Front: LO Logic - Front end for the logic section of the mathematics e-print arXiv. 7. Mathematical Logic and Foundations - From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. 8. Mathematical Logic around the World - A rich collection of links to logic-related websites. 9. Mind Versus Goedel by Damjan Bojadziev - Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.

Help build the largest human-edited directory on the web. Submit a Site - Update a Site - Open Directory Project - Become an Editor

© 2008 Chamas Enterprises Inc.