Switch to: Citations

Add references

You must login to add references.
  1. The papers in this Special Issue were invited from papers presented at the 1992 IEEE Symposium on Logic in Computer Science. All of the invited papers have been refereed in the usual manner; in most cases, they are substantially revised and expanded. I thank the authors and the referees for their effort. [REVIEW]Andre Scedrov - 1994 - Annals of Pure and Applied Logic 69:133.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Intensional Mathematics.Stewart Shapiro - 1989 - Philosophy of Science 56 (1):177-178.
    Download  
     
    Export citation  
     
    Bookmark   16 citations