Results for 'R. O. Gandy'

(not author) ( search as author name )
1000+ found
Order:
  1. Principles of mechanisms.R. O. Gandy - 1980 - In Jon Barwise, Howard Jerome Keisler & Kenneth Kunen (eds.), The Kleene Symposium: Proceedings of a Symposium Held June 18-24, 1978 at Madison, Wisconsin, Usa. Amsterdam, Netherlands: North-Holland.
  2.  10
    A Transfinite Type Theory with Type Variables.R. O. Gandy - 1965 - Journal of Symbolic Logic 33 (1):112-113.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  55
    On the axiom of extensionality – Part I.R. O. Gandy - 1956 - Journal of Symbolic Logic 21 (1):36-48.
  4.  46
    Set Existence.R. O. Gandy, G. Kreisel & W. W. Tait - 1962 - Journal of Symbolic Logic 27 (2):232-233.
  5.  44
    On the axiom of extensionality, part II.R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (4):287-300.
  6.  43
    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  
  7.  18
    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  
  8. 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.
  9.  29
    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.
  10.  49
    On the Axiom of Extensionality.R. O. Gandy & Dana Scott - 1964 - Journal of Symbolic Logic 29 (3):142-142.
  11.  19
    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  
  12. Review: N. Bourbaki, Theorie des Ensembles. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (1):71-73.
  13. Review: P. B. Andrews, A Transfinite Type Theory with Type Variables. [REVIEW]R. O. Gandy - 1968 - Journal of Symbolic Logic 33 (1):112-113.
  14.  16
    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  
  15.  16
    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  
  16.  14
    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  
  17.  16
    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.
  18.  12
    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  
  19.  16
    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  
  20.  8
    Review: Arthur Pap, Types and Meaninglessness. [REVIEW]R. O. Gandy - 1960 - Journal of Symbolic Logic 25 (4):333-334.
  21.  13
    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.
  22.  68
    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  
  23.  31
    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  
  24.  23
    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  
  25.  20
    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  
  26.  21
    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  
  27. 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.
  28.  32
    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.
  29.  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.
  30.  21
    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  
  31. 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  
  32. Review: R. O. Gandy, Proof of Mostowski's Conjecture. [REVIEW]Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):103-104.
  33.  19
    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  
  34.  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.
  35.  33
    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  
  36.  16
    Husserl and Heidegger.R. O. Elveton - 2001 - New Yearbook for Phenomenology and Phenomenological Philosophy 1:203-240.
  37.  20
    Husserl and Heidegger.R. O. Elveton - 2001 - New Yearbook for Phenomenology and Phenomenological Philosophy 1:203-240.
  38.  10
    The Phenomenology of Husserl: Selected Critical Readings.R. O. Elveton (ed.) - 1970 - Chicago,: University of Wisconsin Press.
    With the current resurgence of interest in phenomenology, a second edition of Elveton’s indispensable collection is timely. These essays present appraisals of Edmund Husserl’s phenomenological philosophy, ranging from its earliest reception to the first comprehensive efforts to assess the full scope of Husserl’s writings.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. 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  
  40.  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  
  41. 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.
  42. 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  
  43.  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.
  44.  22
    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  
  45.  8
    The declension and case system in the Kadar language.R. O. Mutalov & M. S. Bagamaeva - 2019 - Liberal Arts in Russiaроссийский Гуманитарный Журналrossijskij Gumanitarnyj Žurnalrossijskij Gumanitarnyj Zhurnalrossiiskii Gumanitarnyi Zhurnal 8 (5):343.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  3
    The phonetic and morphological peculiarities of the Dargin idioms in comparison: Itzari, Sanzhi and Tanti.R. O. Mutalov - forthcoming - Liberal Arts in Russia.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  30
    Consequences of basing ethical judgments on heuristics.R. O. Lindsay & Barbara Gorayska - 1996 - Behavioral and Brain Sciences 19 (2):322-323.
    Baron assumes that ethical decision-making can be evaluated without specifying more general features of the cognitive system within which it occurs. It is suggested that ethical principles are heuristics employed during goal-oriented action planning. Heuristics are bound to generate suboptimal decisions in some cases. It is rational to replace a particular heuristic only when the cost of associated error exceeds the cost of constructing and installing a more successful alternative.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  12
    Tacit knowledge and verbal report: On sinking ships and saving babies.R. O. Lindsay & B. Gorayska - 1994 - Behavioral and Brain Sciences 17 (3):410-411.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Conclusive analogical argument.R. O. Anderson - 1969 - Revue Internationale de Philosophie 23 (1):44-57.
     
    Export citation  
     
    Bookmark   2 citations  
  50.  9
    Transpositions of Mauss' theory of the gift in the Personalist Social Critique of Arnaud Dandieu (1897-1933).R. O. Y. Christian - 2000 - In T. Vandevelde (ed.), Gifts and Interests. Peeters. pp. 9--177.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000