Switch to: Citations

Add references

You must login to add references.
  1. Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
    Direct download  
     
    Export citation  
     
    Bookmark   220 citations  
  • Enumeration and the Grzegorczyk Hierarchy.Paul Axt - 1963 - Mathematical Logic Quarterly 9 (1‐4):53-65.
  • Equivalence of Some Hierarchies of Primitive Recursive Functions.Keith Harrow - 1979 - Mathematical Logic Quarterly 25 (25‐29):411-418.
  • Equivalence of Some Hierarchies of Primitive Recursive Functions.Keith Harrow - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):411-418.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Enumeration and the Grzegorczyk Hierarchy.Paul Axt - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (1-4):53-65.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations