Add your Web Site - Math - Logic and Foundations Add Search to your Site

Search for:
Results per page: Output format: Match: Pages from:
 
 Computability (11)
 Model Theory (4)
 Computational Logic (32)
 Nonstandard Logics and Extensions (124)
 Directories (12)
 Online Discussion Groups (3)
 Education (18)
 Organizations (13)
 Foundations (8)
 People (125)
 Game Semantics (13)
 Proof Theory (14)
 History (94)
 Publications (26)
 Institutions (61)
 Set Theory (67)
 Knowledge Representation and Planning (2)
 Software (29)
 Meetings (151)
 
 
 
 Show pages from United States   Show all pages
 DIRECTORY/Science/Tech/Math/Logic and Foundations (813)
i0Classical Logic - http://plato.stanford.edu/entries/logic-classical/ - Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
 
i0Computability Logic Homepage - http://www.cis.upenn.edu/~giorgi/cl.html - Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
 
i0Introduction to Mathematical Logic - http://www.ltn.lv/~podnieks/mlog/ml.htm - Hyper-textbook for students by V. Detlovs and K. Podnieks.
 
i0Mathematical Logic and Foundations - http://www.math.niu.edu/~rusin/known-math/index/03-XX.html - From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
 
i0Mathematical Logic around the World - http://www.uni-bonn.de/logic/world.html - A rich collection of links to logic-related websites.
 
i0Mind Versus Goedel by Damjan Bojadziev - http://nl.ijs.si/~damjan/g-m-c.html - Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
 
 E-Mail: webmaster@geogo.com Copyright © 2007 Aaex Corp. all rights reserved.
   
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
This site is presented in modified Open Directory form