Results for 'H. E. Rose'

995 found
Order:
  1.  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.
  2.  9
    Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.
  3.  3
    .H. E. Rose - 1972 - Journal of Symbolic Logic 37 (1):19-30.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  8
    $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  
  5.  10
    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  
  6.  21
    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.
  7.  2
    퐸α-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  
  8.  1
    On the Consistency and Undecidability of Recursive Arithmetic.H. E. Rose - 1961 - Mathematical Logic Quarterly 7 (7‐10):124-135.
  9.  26
    On the Consistency and Undecidability of Recursive Arithmetic.H. E. Rose - 1961 - Mathematical Logic Quarterly 7 (7-10):124-135.
  10.  2
    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  
  11.  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  
  12. Logic Colloquium ’73 Proceedings of the Logic Colloquium.H. E. Rose & J. C. Shepherdson (eds.) - 1975 - Elsevier.
    No categories
     
    Export citation  
     
    Bookmark  
  13.  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.
  14.  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.
  15.  2
    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.  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.
  18.  4
    Review: H. E. Rose, Subrecursion. Functions and Hierarchies. [REVIEW]H. Schwichtenberg - 1987 - Journal of Symbolic Logic 52 (2):563-565.
  19.  7
    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  
  20.  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  
  21.  7
    The Eclogues of Vergil.E. L. Highbarger & H. J. Rose - 1944 - American Journal of Philology 65 (2):200.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  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  
  23. 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  
  24.  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  
  25.  18
    Rose H. E.. Subrecursion. Functions and hierarchies. Oxford logic guides, no. 9. Clarendon Press, Oxford University Press, Oxford and New York 1984, xiii + 191 pp. [REVIEW]H. Schwichtenberg - 1987 - Journal of Symbolic Logic 52 (2):563-565.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  14
    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  
  27.  3
    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.  13
    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.  1
    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.  2
    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  
  31.  3
    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  
  32.  2
    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  
  33.  29
    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  
  34.  13
    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  
  35.  6
    Review: Per Martin-Lof, H. E. Rose, J. C. Shepherdson, An Intuitionistic Theory of Types: Predicative Part. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):311-313.
  36.  6
    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  
  37.  10
    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  
  38.  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  
  39.  5
    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  
  40.  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  
  41.  2
    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  
  42.  1
    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  
  43.  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  
  44.  6
    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  
  45.  8
    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  
  46.  6
    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  
  47.  3
    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  
  48.  3
    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  
  49.  3
    ‘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  
  50.  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  
1 — 50 / 995