Switch to: Citations

Add references

You must login to add references.
  1. Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
    Download  
     
    Export citation  
     
    Bookmark   116 citations  
  • Robert M. Solovay. Provability interpretations of modal logic. Israel journal of mathematics, vol. 25 , pp. 287–304.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
    Download  
     
    Export citation  
     
    Bookmark   33 citations