Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Metamathematics of First-Order Arithmetic.Petr Hajék & Pavel Pudlák - 1994 - Studia Logica 53 (3):465-466.
    Download  
     
    Export citation  
     
    Bookmark   143 citations  
  • Representability of recursively enumerable sets in formal theories.J. C. Shepherdson - 1961 - Archive for Mathematical Logic 5 (3-4):119-127.
    Download  
     
    Export citation  
     
    Bookmark   10 citations