17 found
Order:
  1.  8
    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.  4
    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  
  5.  2
    H. E. Rose (1972). . Journal of Symbolic Logic 37 (1):19-30.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  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  
  7.  1
    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  
  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.  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  
  10. H. E. Rose (1972). 퐸α-Arithmetic and Transfinite Induction. Journal of Symbolic Logic 37 (1):19 - 30.
    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 (1968). Lee R. D.. The Substitution Schema in Recursive Arithmetic. Notre Dame Journal of Formal Logic, Vol. 6 No. 3 , Pp. 193–200. [REVIEW] Journal of Symbolic Logic 32 (4):543.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. H. E. Rose (1969). Partis M. T.. Commutative Partially Ordered Recursive Arithmetics. Mathematica Scandinavica, Vol. 13 , Pp. 199–216. Journal of Symbolic Logic 34 (1):117-118.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. 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  
  15. 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  
  16. 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  
  17. H. E. Rose (1973). Skolem Th.. Recursive Enumeration of Some Classes of Primitive Recursive Functions and a Majorisation Theorem. Det Kongelige Norske Videnskabers Selskabs, Forhandlinger, Vol. 35 , Pp. 142–148. Reprinted in Selected Works in Logic, by Th. Skolem, Edited by Fenstad Jens Erik, Universitetsforlaget, Oslo, Bergen, and Tromsö, 1970, Pp. 681–687. [REVIEW] Journal of Symbolic Logic 38 (3):526.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography