Domain Tools

Welcome  Guest! Login/Join
Whois

Domain Suggestions

For Sale

Aftermarket.com Live Auctions Domain 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 new

Sponsored Ads
Google
Cheap VPS Hosting Registrant Search     Sponsor DomainTools
DomainTools Blog: Aftermarket.com Auction at T.R.A.F.F.I.C. Down Under - Posted 6 days ago - 6 comments

Main Content

Logic And Foundations


Directory > Science > Math > Logic and Foundations

Category_Theory@ (40)Computability (11)Computational_Logic (32)
Directories (11)Education (18)Foundations (8)
Game_Semantics (13)History (101)Institutions (61)
Knowledge_Representation_and_Planning (2)Meetings (148)Model_Theory (4)
Nonstandard_Logics_and_Extensions (126)Online_Discussion_Groups (3)Organizations (14)
People (125)Philosophy_of_Logic@ (109)Proof_Theory (14)
Publications (26)Set_Theory (69)Software (28)
Related Categories:
   Computers > Artificial_Intelligence > Philosophy (43)
   Computers > Programming > Languages > Logic-based (41)
   Society > Philosophy > Philosophy_of_Language (76)
   Society > Philosophy > Philosophy_of_Science > Mathematics (32)


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.
278 Listings - DR (1/10)278 Listings - DR (1/10) Mathematical Logic around the World - http://www.uni-bonn.de/logic/world.html
A rich collection of links to logic-related websites.
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