9 found
Sort by:
  1. H. E. Rose (1984). Subrecursion: Functions and Hierarchies. Oxford University Press.
    No categories
     
    My bibliography  
     
    Export citation  
  2. H. E. Rose & J. C. Shepherdson (1974). European Meeting of the Association for Symbolic Logic: Bristol, England, 1973. Journal of Symbolic Logic 39 (2):406-432.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. H. E. Rose (1973). Review: Th. Skolem, Recursive Enumeration of Some Classes of Primitive Recursive Functions and a Majorisation Theorem. [REVIEW] Journal of Symbolic Logic 38 (3):526-526.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. H. E. Rose (1972). . Journal of Symbolic Logic 37 (1):19-30.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. H. E. Rose (1972). $Mathscr{E}^Alpha$-Arithmetic and Transfinite Induction. Journal of Symbolic Logic 37 (1):19-30.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. H. E. Rose (1969). Review: M. T. Partis, Commutative Partially Ordered Recursive Arithmetics. [REVIEW] Journal of Symbolic Logic 34 (1):117-118.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. H. E. Rose (1967). Review: R. D. Lee, The Substitution Schema in Recursive Arithmetic. [REVIEW] Journal of Symbolic Logic 32 (4):543-543.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. H. E. Rose (1965). A Note on Reducible Induction Schemata. Mathematical Logic Quarterly 11 (2):121-126.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. H. E. Rose (1961). On the Consistency and Undecidability of Recursive Arithmetic. Mathematical Logic Quarterly 7 (7‐10):124-135.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation