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
 Easy    NPR
AccuRadio | Radio Tower
AOL |  Windows |  Launch

Top20Listen

META SEARCH:   
Google Yahoo MSN Ask Answers ixquick DMOZ
Wikipedia Encarta Hakia Cuil Clusty About      other
 ImagesGoogle Flickr AV PicSearch BlogsClusty Google
 VideoGoogle YouTube NewsGoogle Y! News Topix
 DirectoriesYahoo Google Alexa USA.gov Almanac Archive
    City Guide       State Guide Nation Guide
Weekly Diversions
Amazing Yodeler
Diamond Detective
Florence Nightengale
Stunning Facts
Fireman Power
Archive

Top20Diversions
 
Top 20 Directory:
Top : Science : Math : Logic_and_Foundations : Nonstandard_Logics_and_Extensions : Modal_Logic : Provability_and_Interpretability_Logics
Sites:
  		• Cointerpretability: Definition of the concept.
  		• Cotolerance: Definition of the concept of a cotolerant sequence of theories.
  		• Giorgi Japaridze's Publications: Full list of publications by this author, with about 30 items devoted to computability and interpretability logics. Many of the papers are downloadable.
  		• Interpretability: A definition of the concept.
  		• Interpretability Logic: Wikipedia article.
  		• Interpretability Logic: Open Encyclopedia article.
  		• Provability Logic: Wikipedia article.
  		• Provability Logic: Open Encyclopedia article.
  		• Tolerance: Definition of the concept of a tolerant sequence of theories.
    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.02