Semantics of Logic Philosophy of Logic


Report by Robert Constable, subtitled `A semantic basis for problem solving environments'. Constable's aim is to use metamathematical results to guide the making of framewroks for constructive logic, as part of the NuPrl project.








    Top: Society: Philosophy: Philosophy of Logic

Semantics of Logic



   MySQL - Cache Direct


  
Twitter