Harvey Ernest Rose (rose-he)

Contributions to Philosophie.ch

Bibliography

Cleave, John P. and Rose, H. E. 1967. “E-Arithmetic.” in Sets, Models and Recursion Theory (Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965), edited by John Newsome Crossley, pp. 297–308. Studies in Logic and the Foundations of Mathematics n. 46. Amsterdam: North-Holland Publishing Co.
Rose, H. E. 1984. Subrecursion: Functions and Hierarchies. Oxford Logic Guides n. 9. Oxford: Oxford University Press.
Rose, H. E. 1988. A Course in Number Theory. 1st ed. Oxford: Oxford University Press. Second edition: Rose (1994).
Rose, H. E. 1994. A Course in Number Theory. 2nd ed. Oxford: Oxford University Press. First edition: Rose (1988).
Rose, H. E. and Shepherdson, John C., eds. 1975. Logic Colloquium ’73. Studies in Logic and the Foundations of Mathematics n. 80. Amsterdam: North-Holland Publishing Co.