Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Distributive Initial Segments of the Degrees of Unsolvability.A. H. Lachlan - 1968 - Mathematical Logic Quarterly 14 (30):457-472.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • (1 other version)Distributive Initial Segments of the Degrees of Unsolvability.A. H. Lachlan - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (30):457-472.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • (1 other version)Reducibility orderings: Theories, definability and automorphisms.Anil Nerode & Richard A. Shore - 1980 - Annals of Mathematical Logic 18 (1):61-89.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • (2 other versions)Classical Recursion Theory. The Theory of Functions and Sets of Natural Numbers.Peter G. Hinman - 1990 - Journal of Symbolic Logic 55 (3):1307-1308.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
    Download  
     
    Export citation  
     
    Bookmark   595 citations