A website directory and metasearch engine of Top 20 best websites
Top 20  
Online  
 
 
Add To Favorites Make this your Start Page Top 20 from A-Z
 
Top 20 Directory
Listen to Music Now
 Classical
 Country    Jazz
 Oldies    Top 40
 Ambient    NPR
AccuRadio
Windows  |   Launch
Radio Tower  |  AOL

Top20Listen

Local Google Maps Y! AOL City Search Ticket Master Zip Phone/E-Mail
Top 20 City Guides Top 20 State Guides Top 20 Nation Guides
Metasearch Links:   
Google Yahoo MSN Ask Answers ixquick DMOZ About
Wikipedia Encarta Y! News Y! Video AV Images Blogs Top 20
 
See also Hakia Sidekiq Clusty Other Images Google ASK Flickr News Google NYT BBC
Directories Y! Google Alexa Almanac Archive Videos Google YouTube AOL MSN ASK
 
 Diversions
of the week
Ode to Mom
A Magic Trick
Tropix Water Words
Building the Eiffel Tower
Stress Test
Archive

Top20Diversions

 
Top 20 Directory:
Top : Science : Math : Logic_and_Foundations
  		• Directories
  		• Education
  		• Institutions
  		• Meetings
  		• Organizations
  		• People
  		• Publications
  		• Software
  		• Category Theory@
  		• Computability
  		• Computational Logic
  		• Foundations
  		• Game Semantics
  		• History
  		• Knowledge Representation and Planning
  		• Model Theory
  		• Nonstandard Logics and Extensions
  		• Online Discussion Groups
  		• Philosophy of Logic@
  		• Proof Theory
  		• Set Theory
    See Also:
    Sites:
  		• Classical Logic: Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
  		• Computability Logic Homepage: Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
  		• Introduction to Mathematical Logic: Hyper-textbook for students by V. Detlovs and K. Podnieks.
  		• Logic: Wikipedia article.
  		• Logic: Open Encyclopedia entry. Hierarchically organized by subareas.
  		• Math Front: LO Logic: Front end for the logic section of the mathematics e-print arXiv.
  		• Mathematical Logic and Foundations: From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
  		• Mathematical Logic around the World: A rich collection of links to logic-related websites.
  		• Mind Versus Goedel by Damjan Bojadziev: Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
    Listed links may put this banner on their website.

    Help build the largest human-edited directory on the web.
    Submit a Site  -  Open Directory Project  -  Become an Editor
    		Terms and Conditions
    About Us
    Privacy Policy
    A website directory and metasearch engine of Top 20 best websites, including news, sports, education, health and more.  http://www.top20online.com/ - Copyright © 1999-2007
    The data contained on this site from Wikipedia and DMOZ is not covered by the copyright of the site.
    Wikipedia data uses the GNU Free Documentation License. DMOZ data uses the Open Directory License.
    Hyperlinked remote resources are the property of their respective trademark and copyright holders.
    Processing Time: 0.01