Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Creative sets.John Myhill - 1955 - Mathematical Logic Quarterly 1 (2):97-108.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • (1 other version)Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.
    Download  
     
    Export citation  
     
    Bookmark   116 citations  
  • (2 other versions)Creative sets.John Myhill - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):97-108.
    Download  
     
    Export citation  
     
    Bookmark   37 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