Switch to: Citations

Add references

You must login to add references.
  1. Arithmetical necessity, provability and intuitionistic logic.Rob Goldblatt - 1978 - Theoria 44 (1):38-46.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Provability Interpretations of Modal Logic.Robert M. Solovay - 1981 - Journal of Symbolic Logic 46 (3):661-662.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Extremely undecidable sentences.George Boolos - 1982 - Journal of Symbolic Logic 47 (1):191-196.
    Download  
     
    Export citation  
     
    Bookmark   11 citations