MetaXearch > / Math / Logic and Foundations / Computability Computational Logic Directories Education Foundations Game Semantics History Institutions Knowledge Representation and Planning Meetings Model Theory Nonstandard Logics and Extensions Online Discussion Groups Organizations People Proof Theory Publications Set Theory Software Mathematical Logic and Foundations From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. (infos) Math Front: LO Logic Front end for the logic section of the mathematics e-print arXiv. (infos) Mind Versus Goedel by Damjan Bojadziev Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them. (infos) Classical Logic Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. (infos) Mathematical Logic around the World A rich collection of links to logic-related websites. (infos) Introduction to Mathematical Logic Hyper-textbook for students by V. Detlovs and K. Podnieks. (infos) Computability Logic Homepage Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. (infos) Logic Wikipedia article. (infos) Logic Open Encyclopedia entry. Hierarchically organized by subareas. (infos) Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Statistics

• 4 757 583 urls

© MetaXearch - All rights reserved