14 found
Order:
  1.  7
    H. E. Rose (1984). Subrecursion: Functions and Hierarchies. Oxford University Press.
  2.  4
    H. E. Rose (1965). A Note on Reducible Induction Schemata. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):121-126.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  4
    H. E. Rose (1961). On the Consistency and Undecidability of Recursive Arithmetic. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (7-10):124-135.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  2
    H. E. Rose (1972). . Journal of Symbolic Logic 37 (1):19-30.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  2
    H. E. Rose & J. C. Shepherdson (1984). An Intuitionistic Theory of Types: Predicative Part. Journal of Symbolic Logic 49 (1):311-313.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  3
    H. E. Rose (1961). On the Consistency and Undecidability of Recursive Arithmetic. Mathematical Logic Quarterly 7 (7‐10):124-135.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7.  2
    H. E. Rose (1972). $Mathscr{E}^Alpha$-Arithmetic and Transfinite Induction. Journal of Symbolic Logic 37 (1):19-30.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  6
    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.
  9. H. E. Rose (1972). 퐸α-Arithmetic and Transfinite Induction. Journal of Symbolic Logic 37 (1):19 - 30.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. H. E. Rose (1965). A Note on Reducible Induction Schemata. Mathematical Logic Quarterly 11 (2):121-126.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11. H. E. Rose, J. C. Shepherdson & Association for Symbolic Logic (1975). Logic Colloquium '73 Proceedings of the Logic Colloquium, Bristol, July 1973. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography  
  12. H. E. Rose (1969). Review: M. T. Partis, Commutative Partially Ordered Recursive Arithmetics. [REVIEW] Journal of Symbolic Logic 34 (1):117-118.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13. H. E. Rose (1967). Review: R. D. Lee, The Substitution Schema in Recursive Arithmetic. [REVIEW] Journal of Symbolic Logic 32 (4):543-543.
     
    Export citation  
     
    My bibliography  
  14. 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 (2 more)  
     
    Export citation  
     
    My bibliography