Science Math Logic and Foundations
Science Math Logic and Foundations

Science Math Logic and Foundations



Top: Science: Math: Logic_and_Foundations:

 
Web informa-24.de
Home                                      informa-24 als Startseite

  Science Math Logic and Foundations

 Kategorien:
  • Category Theory@
  • Computabil
  • Computatio
  • Directorie
  • Education
  • Foundation
  • Game Seman
  • History
  • Institutio
  • Knowledge
  • Meetings
  • Model Theo
  • Nonstandar
  • Organizati
  • People
  • Philosophy of Logic@
  • Proof Theo
  • Publicatio
  • Set Theory
  • Software
    •  Seiten:

    http://www.logic.univie.ac.at/abstract/   » Abstract Service In neuem Fenster öffnen
       An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
       http://www.logic.univie.ac.at/abstract/

    http://plato.stanford.edu/entries/logic-classical/   » Classical Logic In neuem Fenster öffnen
       Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
       http://plato.stanford.edu/entries/logic-classical/

    http://www.cis.upenn.edu/~giorgi/cl.html   » Computability Logic Homepage In neuem Fenster öffnen
       Main online source on computability logic, - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
       http://www.cis.upenn.edu/~giorgi/cl.html

    http://www.ltn.lv/~podnieks/mlog/ml.htm   » Introduction to Mathematical Logic In neuem Fenster öffnen
       Hyper-textbook for students by V. Detlovs and K. Podnieks.
       http://www.ltn.lv/~podnieks/mlog/ml.htm

    http://open-site.org/Science/Mathematics/Logic/   » Logic In neuem Fenster öffnen
       Open Encyclopedia entry. Hierarchically organized by subareas.
       http://open-site.org/Science/Mathematics/Logic/

    http://front.math.ucdavis.edu/math.LO   » Math Front: LO Logic In neuem Fenster öffnen
       Front end for the logic section of the mathematics e-print arXiv.
       http://front.math.ucdavis.edu/math.LO

    http://www.math.niu.edu/~rusin/known-math/index/03-XX.html   » Mathematical Logic and Foundations In neuem Fenster öffnen
       From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
       http://www.math.niu.edu/~rusin/known-math/index/03-XX.html

    http://www.uni-bonn.de/logic/world.html   » Mathematical Logic around the World In neuem Fenster öffnen
       A rich collection of links to logic-related websites.
       http://www.uni-bonn.de/logic/world.html

    http://nl.ijs.si/~damjan/g-m-c.html   » Mind Versus Goedel by Damjan Bojadziev In neuem Fenster öffnen
       Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
       http://nl.ijs.si/~damjan/g-m-c.html

     Siehe auch:
     Diese Kategorie in anderen Sprachen:

     Italian   Spanish 

    Zum Thema  Logic and finden Sie auch hier Angebote:

    Bücher zum Thema: Logic and

    Logic and bei eBay?

     Newsgroups:
    Helfen Sie beim größten menschlich geschaffenen Web-Verzeichnis mit
    URL anmelden - Open Directory Project - Werden Sie Editor
    Dieses Verzeichnis basiert auf dem Open Directory Project
    ergänzt und modifiziert durch informa-24.de
    Besuchen Sie unsere Partnerseiten:
    Heizöl in Hannover - Diesel Tankstelle Visselhövede -
    Impressum            Haftungsauschluss            Für Webmaster

    Beamer-Zubehör