Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Recursive Real Numbers.Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):177-177.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
    Download  
     
    Export citation  
     
    Bookmark   718 citations  
  • (1 other version)Nicht konstruktiv beweisbare sätze der analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.
    Download  
     
    Export citation  
     
    Bookmark   38 citations