Directory: Logic and Foundations - Foundations

You are here: adaxas > Science & Engineering > Mathematics > Logic and Foundations > Foundations

Listed sites in Foundations

  1. The QED Project - Home Page

    The webmaster of this site did not set a description tag!

    url: http://www-unix.mcs.anl.gov/qed/ size: 4414 - last check: - status: 200
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  2. Mizar Home Page

    The webmaster of this site did not set a description tag!

    url: http://www.mizar.org/ size: 2966 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  3. redirection

    The webmaster of this site did not set a description tag!

    url: http://www.dcs.qmw.ac.uk/~pt/Practica... size: 512 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  4. Foundations of Mathematics

    The webmaster of this site did not set a description tag!

    url: http://sakharov.net/foundation.html size: 705 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  5. Language: us Hilbert II - Introduction Michael Meyling - mime@qedeq.org
    Verify and document mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof verifier which can check a mathematical proof written in a certain formal language. This mathematical kn
    url: http://www.qedeq.org/ size: 8305 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  6. FOM Info Page

    The webmaster of this site did not set a description tag!

    url: http://www.cs.nyu.edu/mailman/listinf... size: 9983 - last check: - status: 200
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  7. Chaitin, Conversations with a Mathematician

    The webmaster of this site did not set a description tag!

    url: http://www.umcs.maine.edu/~chaitin/lo... size: 80821 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  8. Arch
    Arch
    url: http://www.st-and.ac.uk/academic/phil... size: 19455 - last check: - status: 200
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


Other sites from Helmut Hirner: Hirners Hotel Guide and Helmeloh's Blog