Results for 'R. O. Gandy'

(not author) ( search as author name )
1000+ found
Order:
  1.  55
    On the axiom of extensionality – Part I.R. O. Gandy - 1956 - Journal of Symbolic Logic 21 (1):36-48.
  2.  44
    Set Existence.R. O. Gandy, G. Kreisel & W. W. Tait - 1962 - Journal of Symbolic Logic 27 (2):232-233.
  3.  43
    On the axiom of extensionality, part II.R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (4):287-300.
  4.  39
    The next admissible set.K. J. Barwise, R. O. Gandy & Y. N. Moschovakis - 1971 - Journal of Symbolic Logic 36 (1):108-120.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  5.  16
    Some Reasons for Generalizing Recursion Theory.G. Kreisel, R. O. Gandy & C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  6. Meeting of the association for symbolic logic Manchester 1969.R. O. Gandy & C. E. M. Yates - 1970 - Journal of Symbolic Logic 35 (4):598-613.
  7.  25
    European meeting of the association for symbolic logic: Oxford, England, 1976.R. O. Gandy & D. S. Scott - 1977 - Journal of Symbolic Logic 42 (3):437-479.
  8.  47
    On the Axiom of Extensionality.R. O. Gandy & Dana Scott - 1964 - Journal of Symbolic Logic 29 (3):142-142.
  9. Principles of mechanisms.R. O. Gandy - 1980 - In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland.
  10.  17
    Generalized recursion theory II: proceedings of the 1977 Oslo symposium.Jens Erik Fenstad, R. O. Gandy & Gerald E. Sacks (eds.) - 1978 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    GENERALIZED RECUBION THEORY II © North-Holland Publishing Company (1978) MONOTONE QUANTIFIERS AND ADMISSIBLE SETS Ion Barwise University of Wisconsin ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  15
    Andrews P. B.. A transfinite type theory with type variables. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1965, xv + 143 pp. [REVIEW]R. O. Gandy - 1968 - Journal of Symbolic Logic 33 (1):112-113.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  15
    Borkowski Ludwik. Systems of the propositional and of the functional calculus based on one primitive term. English, with Polish and Russian summaries. Studia logica, vol. 6 , pp. 7–55. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (3):242-243.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  13
    Bourbaki N.. Théorie des ensembles. Éléments de Mathématique, Première partie, Livre I, Chapitres I, II. Actualités scientifiques et industrielles 1212. Hermann & Cie, Paris 1954, title pages + 136 pp. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (1):71-73.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  15
    Boone William W.. An analysis of Turing's “The word problem in semi-groups with cancellation.” Annals of mathematics, ser. 2 vol. 67 , pp. 195–202. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (3):239-239.
  15.  11
    Joseph Barback. An md-class of sets indexed by a regressive function. The journal of the Australian Mathematical Society, vol. 7 (1967), pp. 301–310. [REVIEW]R. O. Gandy & John N. Crossley - 1970 - Journal of Symbolic Logic 35 (1):157-157.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  15
    L'Abbé Maurice. Systems of transfinite types involving λ-conversion. [REVIEW]R. O. Gandy - 1958 - Journal of Symbolic Logic 23 (3):361-362.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  7
    Review: Arthur Pap, Types and Meaninglessness. [REVIEW]R. O. Gandy - 1960 - Journal of Symbolic Logic 25 (4):333-334.
  18. Review: N. Bourbaki, Theorie des Ensembles. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (1):71-73.
  19. Review: P. B. Andrews, A Transfinite Type Theory with Type Variables. [REVIEW]R. O. Gandy - 1968 - Journal of Symbolic Logic 33 (1):112-113.
  20.  12
    Review: William W. Boone, An Analysis of Turing's "The Word Problem in Semi-groups with Cancellation". [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (3):239-239.
  21.  66
    A problem in the theory of constructive order types.Robin O. Gandy & Robert I. Soare - 1970 - Journal of Symbolic Logic 35 (1):119-121.
    J. N. Crossley [1] raised the question of whether the implication 2 + A = A ⇒ 1 + A = A is true for constructive order types (C.O.T.'s). Using an earlier definition of constructive order type, A. G. Hamilton [2] presented a counterexample. Hamilton left open the general question, however, since he pointed out that Crossley considers only orderings which can be embedded in a standard dense r.e. ordering by a partial recursive function, and that his counterexample fails to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  22.  26
    Alan Turing and the Turing Machine.Turing's Analysis of Computability, and Major Applications of it.The Confluence of Ideas in 1936.Turing in the Land of O.Mathematical Logic and the Origin of Modern Computers. [REVIEW]John N. Crossley, Andrew Hodges, Rolf Herken, Stephen C. Kleene, Robin Gandy, Solomon Feferman, Martin Davis & Esther R. Phillips - 1991 - Journal of Symbolic Logic 56 (3):1089.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  22
    R. O. Gandy. On a problem of Kleene's. Bulletin of the American Mathematical Society, vol. 66 , pp. 501–502.Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):104.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  14
    Review: R. O. Gandy, G. Kreisel, W. W. Tait, Set Existence. [REVIEW]Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (2):232-233.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  2
    Gumanizm i filosofskie t︠s︡ennosti.R. O. Kurbanov, A. A. Krushanov & Ariz Avi︠a︡Z Ogly Gezalov (eds.) - 1996 - Moskva: Kanon+.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  31
    R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 202–242. [REVIEW]Richard A. Platek - 1970 - Journal of Symbolic Logic 35 (1):157-158.
  27.  14
    Review: R. O. Gandy, John N. Crossley, Computable Functionals of Finite Type I. [REVIEW]Richard A. Platek - 1970 - Journal of Symbolic Logic 35 (1):157-158.
  28.  20
    R. O. Gandy, G. Kreisel and W. W. Tait. Set existence. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 577–582, and vol. 9 , pp. 881–882. [REVIEW]Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (2):232-233.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Review: R. O. Gandy, On the Axiom of Extensionality; Dana Scott, More on the Axiom of Extensionality. [REVIEW]Azriel Levy - 1964 - Journal of Symbolic Logic 29 (3):142-142.
  30.  18
    R. O. Gandy. On the axiom of extensionality. The journal of symbolic logic, vol. 21 , pp. 36–48, and vol. 24 no. 4 , pp. 287–300. - Dana Scott. More on the axiom of extensionality. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 115–131. [REVIEW]Azriel Lévy - 1964 - Journal of Symbolic Logic 29 (3):142-142.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  19
    R. O. Gandy. Proof of Mostowski's conjecture. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 571–575. [REVIEW]Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):103-104.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. Review: R. O. Gandy, On a Problem of Kleene's. [REVIEW]Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):104-104.
     
    Export citation  
     
    Bookmark  
  33. Review: R. O. Gandy, Proof of Mostowski's Conjecture. [REVIEW]Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):103-104.
  34. Snēhabali, athavā, Alphōnsāmma. R̲ōmuḷūs - 1984 - Bharaṇaṅṅānaṃ: Tōmas Mūttēṭaṃ.
    Biography of Sister Alphōnsa, 1910-1946, Catholic nun from Kerala.
     
    Export citation  
     
    Bookmark  
  35. COVID-19 Knowledge, Risk Perception, and Precautionary Behavior Among Nigerians: A Moderated Mediation Approach.Steven K. Iorfa, Iboro F. A. Ottu, Rotimi Oguntayo, Olusola Ayandele, Samson O. Kolawole, Joshua C. Gandi, Abdullahi L. Dangiwa & Peter O. Olapegba - 2020 - Frontiers in Psychology 11:566773.
    The novel coronavirus has not only brought along disruptions to daily socio-economic activities, but sickness and deaths due to its high contagion. With no widely acceptable pharmaceutical cure, the best form of prevention may be precautionary measures which will guide against infections and curb the spread of the disease. This study explored the relationship between COVID-19 knowledge, risk perception, and precautionary behavior among Nigerians. The study also sought to determine whether this relationship differed for men and women. A web-based cross-sectional (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  36
    Review: G. Kreisel, R. O. Gandy, C. E. M. Yates, Some Reasons for Generalizing Recursion Theory. [REVIEW]C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.
  37.  10
    Philosophical and linguistic theories.Beena Isaac & E. R̲ōsmēri (eds.) - 2014 - Thiruvananthapuram: Department of Publication, University of Kerala.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  29
    Review: Daniel Lacombe, R. O. Gandy, C. E. M. Yates, Recursion Theoretic Structure for Relational Systems. [REVIEW]Carl E. Gordon - 1975 - Journal of Symbolic Logic 40 (3):454-455.
  39.  20
    The Neoteric Poets.R. O. A. M. Lyne - 1978 - Classical Quarterly 28 (01):167-.
    In 50 B.C. Cicero writes to Atticus as follows : ‘Brundisium uenimus VII Kalend. Decembr. usi tua felicitate nauigandi; ita belle nobis flauit ab Epiro lenissimus Onchesmites. hunc si cui boles pro tuo uendito.’ The antonomasia, the euphonic sibilance, and the mannered rhythm are all prominent in Cicero's hexameter. The line is a humorously concocted example of affected and Grecizing narrative. But it is also a line which, Atticus is to suppose, would value; presumably therefore it is meant to hit (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  40. Background and illuminants: The yin and yang of colour constancy.R. O. Brown - 2003 - In Rainer Mausfeld & Dieter Heyer (eds.), Colour Perception: Mind and the Physical World. Oxford University Press. pp. 247--272.
  41.  42
    The Orowan mechanism in anisotropic crystals.R. O. Scattergood & D. J. Bacon - 1975 - Philosophical Magazine 31 (1):179-198.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42. Kategorii︠a︡ vzaimodeĭstvii︠a︡ v filosofii i fizike.R. O. Kurbanov - 1983 - Baku: "Ėlm".
  43.  26
    The phenomenology of Husserl.R. O. Elveton - 1970 - Chicago,: Quadrangle Books.
    The philosophy of Edmund Husserl, by O. Becker.--The phenomenological philosophy of Edmund Husserl and contemporary criticism, by E. Fink.--The decisive phases in the development of Husserl's philosophy, by W. Biemel.--Husserl's concept of the "absolute," by R. Boehm.--Critical observations concerning Husserl's posthumous writings, by H. Wagner.--Husserl's departure from Cartesianism, by L. Landgrebe.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  10
    Mortalizing Morality and Immortalizing Immorality in the Campaign Against HIV/AIDS Scourge: The Fate of the Contemporary Christians.R. O. Ikwun & G. U. Ntamu - 2007 - Sophia: An African Journal of Philosophy 9 (1).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. 0-triketones in the australian Flora.R. O. Hellyer - 1968 - In Peter Koestenbaum (ed.), Proceedings. [San Jose? Calif.,: [San Jose? Calif.. pp. 37--90.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  15
    Horace odes book 1 and the alexandrian edition of alcaeus.R. O. A. M. Lyne - 2005 - Classical Quarterly 55 (02):542-558.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  10
    Vergil and the Politics of War.R. O. A. M. Lyne - 1983 - Classical Quarterly 33 (01):188-.
    The Romans had various ways of justifying their imperial aims and methods, some high-minded, some less so. We find in particular that they could give honourable and satisfying explanations of their aims and methods in war. Here for example is Cicero: quare suscipienda quidem bella sunt ob earn causam, ut sine iniuria in pace uiuatur; parta autem uictoria conseruandi ii, qui non crudeles in bello, non immanes fuerunt, ut maiores nostri Tusculanos, Aequos…in ciuitatem etiam acceperunt, at Carthaginem…funditus sustulerunt…mea quidem sententia (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  2
    The colorful conservative: American conversations with the ancients from Wheatley to Whitman.R. O. P. Lopez - 2011 - Lanham, MD: University Press of America.
    In The Colorful Conservative, R.O.P. Lopez culls important insights into American culture from the works of Phillis Wheatley, Edgar Allan Poe, Henry David Thoreau, William Wells Brown, and Walt Whitman. Lopez contends that many of the tensions that emerged prior to the Civil War remain unresolved; thus, the nineteenth century never ended and Americans still live in the literary framework of the 1800s. Beyond political distinctions of the left and the right, there are really four poles: The Left, The Conformist (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. The Groundwork of the Gospels; with some collected papers.R. O. P. Taylor - 1946
    No categories
     
    Export citation  
     
    Bookmark  
  50.  19
    Two misconceptions underlying contemporary unrest.R. O. Johann - 1970 - Metaphilosophy 1 (1):80–84.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000