Results for 'H. E. Rose'

995 found
Order:
  1.  67
    Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.
  2.  14
    Logic Colloquium '73: Proceedings of the Logic Colloquium, Bristol, July 1973.H. E. Rose, J. C. Shepherdson & Association for Symbolic Logic - 1975 - North-Holland.
  3.  10
    .H. E. Rose - 1972 - Journal of Symbolic Logic 37 (1):19-30.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  9
    An Intuitionistic Theory of Types: Predicative Part.H. E. Rose & J. C. Shepherdson - 1984 - Journal of Symbolic Logic 49 (1):311-313.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  15
    $mathscr{E}^alpha$-Arithmetic and Transfinite Induction.H. E. Rose - 1972 - Journal of Symbolic Logic 37 (1):19-30.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  3
    퐸α-Arithmetic and Transfinite Induction.H. E. Rose - 1972 - Journal of Symbolic Logic 37 (1):19 - 30.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  24
    A Note on Reducible Induction Schemata.H. E. Rose - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):121-126.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  4
    A Note on Reducible Induction Schemata.H. E. Rose - 1965 - Mathematical Logic Quarterly 11 (2):121-126.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  38
    European meeting of the association for symbolic logic: Bristol, England, 1973.H. E. Rose & J. C. Shepherdson - 1974 - Journal of Symbolic Logic 39 (2):406-432.
  10. Logic Colloquium ’73 Proceedings of the Logic Colloquium.H. E. Rose & J. C. Shepherdson (eds.) - 1975 - Elsevier.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  25
    M. T. Partis. Commutative partially ordered recursive arithmetics. Mathematica Scandinavica, vol. 13 , pp. 199–216.H. E. Rose - 1969 - Journal of Symbolic Logic 34 (1):117-118.
  12.  20
    On the Consistency and Undecidability of Recursive Arithmetic.H. E. Rose - 1961 - Mathematical Logic Quarterly 7 (7‐10):124-135.
  13.  26
    On the Consistency and Undecidability of Recursive Arithmetic.H. E. Rose - 1961 - Mathematical Logic Quarterly 7 (7-10):124-135.
  14.  13
    Lee R. D.. The substitution schema in recursive arithmetic. Notre Dame journal of formal logic, vol. 6 no. 3 , pp. 193–200. [REVIEW]H. E. Rose - 1968 - Journal of Symbolic Logic 32 (4):543-543.
  15.  14
    Review: M. T. Partis, Commutative Partially Ordered Recursive Arithmetics. [REVIEW]H. E. Rose - 1969 - Journal of Symbolic Logic 34 (1):117-118.
  16. Review: R. D. Lee, The Substitution Schema in Recursive Arithmetic. [REVIEW]H. E. Rose - 1967 - Journal of Symbolic Logic 32 (4):543-543.
  17.  10
    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]H. E. Rose - 1973 - Journal of Symbolic Logic 38 (3):526-526.
  18.  9
    Working Memory and Human Cognition.John T. E. Richardson, Randall W. Engle, Lynn Hasher, Robert H. Logie, Ellen R. Stoltzfus & Rose T. Zacks - 1996 - Oxford University Press USA.
    As interest in working memory is increasing at a rapid pace, an open discussion of the central issues involved is both useful and timely. This new volume compares and contrasts conceptions of working memory, with contributions from proponents of different views.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  7
    The Eclogues of Vergil.E. L. Highbarger & H. J. Rose - 1944 - American Journal of Philology 65 (2):200.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  25
    Catullus and Horace Catullus and Horace. Two poets in their environment. By Tenney Frank, Professor of Latin in Johns Hopkins University. Pp. 291. Basil Blackwell, Oxford, and Henry Holt and Co., New York, 1928. 10s. 6d. and 5 dollars. The Rome of Horace. By Jean Rose Ingersoll. Pp. 57 + 103. Colorado Springs: Colorado College Publications (General Series No. 147), 1927. [REVIEW]H. E. Butler - 1928 - The Classical Review 42 (05):196-197.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  8
    Lifetime of the 3.56 MeV State of Lithium 6.H. J. Rose & E. K. Warburton - 1957 - Philosophical Magazine 2 (24):1468-1471.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. Mobile Technology Use and Its Association With Executive Functioning in Healthy Young Adults: A Systematic Review.Rachel E. Warsaw, Andrew Jones, Abigail K. Rose, Alice Newton-Fenner, Sophie Alshukri & Suzanne H. Gage - 2021 - Frontiers in Psychology 12.
    Introduction: Screen-based and mobile technology has grown at an unprecedented rate. However, little is understood about whether increased screen-use affects executive functioning, the range of mental processes that aid goal attainment and facilitate the selection of appropriate behaviors. To examine this, a systematic review was conducted.Method: This systematic review is reported in accordance with the Preferred Reporting Items for Systematic Reviews and Meta-Analyses statement. A comprehensive literature search was conducted using Web of Science, MEDLINE, PsycINFO and Scopus databases to identify (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  66
    The people with Asperger Syndrome and anxiety disorders Trial: A pilot multi-centre single blind randomised trial of group cognitive behavioural therapy.Peter E. Langdon, Glynis H. Murphy, Lee Shepstone, Edward C. F. Wilson, David Fowler, David Heavens, Aida Malovic, Alexandra Russell, Alice Rose & Louise Mullineaux - unknown
    Background: There is a growing interest in using cognitive behavioural therapy with people who have Asperger Syndrome and comorbid mental health problems. Aims: To examine whether modified group CBT for clinically significant anxiety in an AS population is feasible and likely to be efficacious. Method: Using a randomised assessor-blind trial, 52 individuals with AS were randomised into a treatment arm or a waiting-list control arm. After 24 weeks, those in the waiting-list control arm received treatment, while those initially randomised to (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  11
    The Politics of Nepal. Persistence and Change in an Asian Monarchy.Frederick H. Gaige, Leo E. Rose & Margaret W. Fisher - 1971 - Journal of the American Oriental Society 91 (4):560.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  26
    De Novis Libris Iudicia.J. C. Kamerbeek, A. H. R. E. Paap, Elizabeth Visser, H. J. Rose, J. C. Opstelten, G. Italie, W. Den Boer, B. A. Van Groningen, G. J. De Vries, H. J. Drossaart Lulofs, E. Boswinkel, G. Van Hoorn, H. G. Beyen, A. D. Leeman, P. J. Enk, H. Wagenvoort, M. Van Der Valk, G. Quispel, H. L. W. Nelson & J. Van Ijzeren - 1956 - Mnemosyne 9 (4):336-376.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  12
    Variation of cerebrospinal fluid in specific regions regulates focality in transcranial direct current stimulation.Rajan Kashyap, Sagarika Bhattacharjee, Rose Dawn Bharath, Ganesan Venkatasubramanian, Kaviraja Udupa, Shahid Bashir, Kenichi Oishi, John E. Desmond, S. H. Annabel Chen & Cuntai Guan - 2022 - Frontiers in Human Neuroscience 16:952602.
    BackgroundConventionally, transcranial direct current stimulation (tDCS) aims to focalize the current reaching the target region-of-interest (ROI). The focality can be quantified by the dose-target-determination-index (DTDI). Despite having a uniform tDCS setup, some individuals receive focal stimulation (high DTDI) while others show reduced focality (“non-focal”). The volume of cerebrospinal fluid (CSF), gray matter (GM), and white matter (WM) underlying each ROI govern the tDCS current distribution inside the brain, thereby regulating focality.AimTo determine the regional volume parameters that differentiate the focal and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  40
    B. E. Perry: The Origin of the Book of Sindbad. Pp. 94. Berlin: de Gruyter, 1960. Paper.H. J. Rose - 1961 - The Classical Review 11 (03):304-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  39
    E. V. Rieu: Virgil, The Pastoral Poems (The Eclogues). Pp. 151. West Drayton: Penguin Books, 1949. Paper, Is. 6d. net.H. J. Rose - 1951 - The Classical Review 1 (01):54-55.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  22
    Urdummheit_ and Afterwards - E. R. Dodds: The Greeks and the Irrational. (Sather Classical Lectures, Vol. 25.) Pp. ix + 327. Berkeley: University of California Press (London: Cambridge University Press), 1951. Cloth, 37 _s_. 6 _d. net.H. J. Rose - 1953 - The Classical Review 3 (02):82-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  40
    Filtral powers of structures.P. Ouwehand & H. Rose - 1998 - Journal of Symbolic Logic 63 (4):1239-1254.
    Among the results of this paper are the following: 1. Every Boolean (ultra) power is the union of an updirected elementary family of direct ultrapowers. 2. Under certain conditions, a finitely iterated Boolean ultrapower is isomorphic to a single Boolean ultrapower. 3. A ω-bounded filtral power is an elementary substructure of a filtral power. 4. Let K be an elementary class closed under updirected unions (e.g., if K is an amalgamation class); then K is closed under finite products if and (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  31.  22
    A Short History of Religions. E. E. Kellett. Pp. 607. London: Victor Gollancz, 1933. Cloth, 5s.H. J. Rose - 1934 - The Classical Review 48 (02):90-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  14
    Some Lacunae in Chariton.H. J. Rose - 1939 - Classical Quarterly 33 (1):30-30.
    The publication of Dr. Warren E. Blake's edition of the romance of Chariton has at last made it possible to know what the tradition of the text amounts to and form some opinion of its principal weaknesses. That these include lacunae will be obvious to anyone who even glances through his apparatus criticus; I think there are at least three which neither he nor any of the former editors has noted. The supplements I propose are of course mere examples of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  17
    The Epigram on Pindar's Death.H. J. Rose - 1931 - Classical Quarterly 25 (2):121-122.
    There is an epigram preserved in two lives of Pindar, that in the scholia Ambrosiana and the rambling biography of the poet by Eustathios. It is perhaps most conveniently accessible in von Christ's larger edition of Pindar, pp. ci and cii, and runs as follows: μλα ρωτμχτε καμητισ λιуφωνιινδρ‘nu; κλατ θуατρεσ πιντα, αρуθεν μoσ κντκμζσ νδoθι κρωσσλειψαν' π' ༀπ ξεινησ θρα πρκαïσ. IIρωτμχη Eustathius. 2. Éκλατα ινδρ θуατρεσ East. et Ambr., corr. Gerhard.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  8
    Two Titles of Goddesses in Hesychios.H. J. Rose - 1932 - Classical Quarterly 26 (01):58-.
    γχΣεμλη ӣτως καλετо, says the lexicographer, from a source which is unknown, but would appear to be late, since it uses a past tense. Where or by whom Semele was so named is not stated, nor has any explanation been given, so far as I know, that is at all satisfactory, for she certainly has nothing to do with swords. I suggest that she was never called anything of the kind, and the statement arises from a comedian's jest. Aristophanes speaks (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  35.  59
    Totenteil und Seelgerät: eine entwickelungsge-schichtliche Untersuchung sum Verhältniss von Recht und Religion. Dr.E. F. Bruck. Pp. xxiii+374. Munich : C. H. Beck, 1926. [REVIEW]H. J. Rose - 1926 - The Classical Review 40 (06):214-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  17
    Totenteil und Seelgerät: eine entwickelungsge-schichtliche Untersuchung sum Verhältniss von Recht und Religion. Dr.E. F. Bruck. Pp. xxiii+374. Munich : C. H. Beck, 1926. [REVIEW]H. J. Rose - 1926 - The Classical Review 40 (6):214-214.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  32
    B. E. Perry: Studies in the Text History of the Life and Fables of Aesop. Pp. xvi+240; 6 plates. (Philological Monographs, No. vii.) Haverford, Penn.: American Philological Association (Oxford: Blackwell), 1936. Cloth, $3.50. [REVIEW]H. J. Rose - 1937 - The Classical Review 51 (04):147-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  23
    Plutarch's E Apud Delphos. [REVIEW]H. J. Rose - 1946 - The Classical Review 60 (3):108-109.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  33
    Urdummheit_ and Afterwards - E. R. Dodds: The Greeks and the Irrational. (Sather Classical Lectures, Vol. 25.) Pp. ix + 327. Berkeley: University of California Press (London: Cambridge University Press), 1951. Cloth, 37 _s_. 6 _d. net. [REVIEW]H. J. Rose - 1953 - The Classical Review 3 (02):82-86.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  27
    Bronislaw Biliński: L'antico oplite corridore di Maratona: leggenda O realtà? (Accademia Polacca di Scienze e Lettere, Conferenze, fasc. 8.) Pp. 32. Rome: Signorelli, n.d. Paper. [REVIEW]H. J. Rose - 1961 - The Classical Review 11 (02):176-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  56
    Fonti per la Storia della Religione cyrenaica. Raccolte e commentate da Luisa Vitali. (R. Università di Padova, Pubblicazioni della Facoltà di Lettere e Filosofia, Vol. I.) Pp. xix + 165. Padua: 'Cedam' (Casa editrice dott. Antonio Milani), 1932/X. Paper, 1. 20. [REVIEW]H. J. Rose - 1932 - The Classical Review 46 (06):274-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  17
    Fonti per la Storia della Religione cyrenaica. Raccolte e commentate da Luisa Vitali. Pp. xix + 165. Padua: ‘Cedam’ , 1932/X. Paper, 1. 20. [REVIEW]H. J. Rose - 1932 - The Classical Review 46 (6):274-274.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  25
    IIEPI ΓAMO Περ γμου: Antiquorum poetarum philosophorumque Graecorum de matrimonio sententiae e quibus mediae nouaeque comoediae indicia locique communes illustrentur. Scripsit Fridericus Buddenhagen Basiliensis. Particulal. Pp.58. Turici: Typis Gebr. Leemann and Co., MCMXIX. [REVIEW]H. J. Rose - 1921 - The Classical Review 35 (3-4):75-76.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  29
    K. Marót: Kronos und die Titanen. Reprinted from Studi e Materiali di Storia delle Religioni, Vol. viii (1932/X). Pp. 48–82 and 139–214. Bologna: Zanichelli, 1932. Paper. [REVIEW]H. J. Rose - 1933 - The Classical Review 47 (06):239-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  35
    Latin Word-Order L'Ordre des Mots dans la Phrase latine: I. Les Groupes nominaux. Par J. Marouzeau. Pp. viii + 236. Paris: E. Champion, 1922. Fr. 30. [REVIEW]H. J. Rose - 1924 - The Classical Review 38 (1-2):39-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  72
    Magic in Greek and Latin Literature. by J. E. Lowe. Pp. vi+136. Oxford: Basil Blackwell, 1929. Cloth, 6s. net. [REVIEW]H. J. Rose - 1929 - The Classical Review 43 (6):239-240.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  47.  11
    ‘This Argument of Death.’ - F. De Ruyt: Études de symbolisme funéraire. Extracted from Bulletin de ľInstitut historique beige de Rome, fasc. xvii (1936), Brussels and Rome. Pp. 42; 10 plates. Paper. - A. Brelich: Aspetti della morte nelle iscrizioni sepolcrali dell' impero romano. Pp. 88. (Dissertationes Pannonicae, i, 7.) Budapest: Istituto di Numismatica e di Archeologia dell' Università Pietro Pázmány (Leipzig: Harrassowitz), 1937. Paper. [REVIEW]H. J. Rose - 1937 - The Classical Review 51 (6):233-234.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  31
    ‘This Argument of Death.’ - F. De Ruyt: Études de symbolisme funéraire. Extracted from Bulletin de ľInstitut historique beige de Rome, fasc. xvii (1936), Brussels and Rome. Pp. 42; 10 plates. Paper. - A. Brelich: Aspetti della morte nelle iscrizioni sepolcrali dell' impero romano. Pp. 88. (Dissertationes Pannonicae, i, 7.) Budapest: Istituto di Numismatica e di Archeologia dell' Università Pietro Pázmány (Leipzig: Harrassowitz), 1937. Paper. [REVIEW]H. J. Rose - 1937 - The Classical Review 51 (06):233-234.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  32
    Tradition and Proto-History - Alberto Gitti: Mythos: la Tradizione pre-storiografica della Grecia. Prolegomeni allo studio delle origini greche. (Studi Barese di Storia e di Filologia, Vol. I.) Pp. xx + 275. Bari: Adriatica Editrice, 1949. Paper. [REVIEW]H. J. Rose - 1951 - The Classical Review 1 (3-4):210-211.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50. "The Worlds of Plato and Aristotle" and "The Worlds of the Early Greek Philosophers" by J. B. Wilbur and H. J. Allen. [REVIEW]Lynn E. Rose - 1983 - Philosophy and Phenomenological Research 43 (4):556.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 995