Guest! Login/Join

DomainTools.com
Whois Domain Search Domain Suggestions For Sale Sales History Auction Search Domain Monitor Domain Directory
Ping Traceroute My IP Address Domain Parking Cheap Domain Name Registration Bulk Check Domain Typo Generator more>
Power Tools: Reverse IP Domain History Mark Alert Name Server Spy Hosting History Registrant Search Registrant Alert

 

Logic And Foundations


Directory > Science > Math > Logic and Foundations

Category_Theory@ (36)Computability (10)Computational_Logic (34)
Directories (11)Education (18)Foundations (7)
Game_Semantics (13)History (92)Knowledge_Representation_and_Planning (2)
Meetings (133)Model_Theory (4)Nonstandard_Logics_and_Extensions (119)
Online_Discussion_Groups (3)Organizations (13)People (116)
Philosophy_of_Logic@ (103)Proof_Theory (13)Publications (26)
Research_Groups_and_Centers (59)Set_Theory (66)Software (27)
Related Categories:
   Society > Philosophy > Philosophy_of_Science > Mathematics (29)
   Society > Philosophy > Philosophy_of_Language (72)
   Computers > Programming > Languages > Logic-based (38)
   Computers > Artificial_Intelligence > Philosophy (37)


1,861 Listings - DR (6/10)1,861 Listings - DR (6/10) Classical Logic - http://plato.stanford.edu/entries/logic-classical/
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
201 Listings - DR (5/10)201 Listings - DR (5/10) Mathematical 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.
961 Listings - DR (3/10)961 Listings - DR (3/10) Computability 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.
27 Listings - DR (1/10)27 Listings - DR (1/10) Mind 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.
18 Listings - DR (1/10)18 Listings - DR (1/10) Introduction to Mathematical Logic - http://www.ltn.lv/~podnieks/mlog/ml.htm
Hyper-textbook for students by V. Detlovs and K. Podnieks.

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

Domain Tools analysis of DMOZ top listed domains