Computability-Logic-Homepage Computability Logic Homepage   Science - Math - Logic and Foundations




  • Name:

     

  • Institution:

    Computability Logic Homepage

  • Position:

  • Location:

     

  • Field of Science:

    Science - Math - Logic and Foundations

  • Website / Blog:

    www.cis.upenn.edu/~giorgi/cl.html

  • Online Status: status







    		•

    • About my Work: 


      Computability Logic Homepage - Main online source on computability logic, - a recently emerged formal theory of computational tasks and resources.
      The recent approach called Computability Logic is a formal theory of computability in the same sense as classical logic is a formal theory of truth. The page is the basic Internet source of information on Computability Logic.
      COMPUTABILITY LOGIC: a theory of interactive computation HOMEPAGE

    • Projects: 


    • Vita / Publications: 


    • Grants and Awards: 


    • About my Institution: 


    • Additional Information: 


      		•

     

































     

    Powered free by PHPmotion