21 found
Order:
  1.  23
    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  
  2.  11
    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  
  3.  29
    Set Existence.R. O. Gandy, G. Kreisel & W. W. Tait - 1962 - Journal of Symbolic Logic 27 (2):232-233.
  4.  34
    On the axiom of extensionality – Part I.R. O. Gandy - 1956 - Journal of Symbolic Logic 21 (1):36-48.
  5. 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.
  6.  33
    On the axiom of extensionality, part II.R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (4):287-300.
  7.  11
    Generalized Recursion Theory Ii: Proceedings of the 1977 Oslo Symposium.Jens Erik Fenstad, R. O. Gandy & Gerald E. Sacks (eds.) - 1978 - 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  
  8. Review: P. B. Andrews, A Transfinite Type Theory with Type Variables. [REVIEW]R. O. Gandy - 1968 - Journal of Symbolic Logic 33 (1):112-113.
  9. Principles of mechanisms.R. O. Gandy - 1980 - In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland.
  10.  13
    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.
  11.  9
    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.
  12.  8
    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  
  13.  32
    On the Axiom of Extensionality.R. O. Gandy & Dana Scott - 1964 - Journal of Symbolic Logic 29 (3):142-142.
  14.  4
    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.
  15.  6
    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  
  16.  5
    Review: Arthur Pap, Types and Meaninglessness. [REVIEW]R. O. Gandy - 1960 - Journal of Symbolic Logic 25 (4):333-334.
  17. Review: N. Bourbaki, Theorie des Ensembles. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (1):71-73.
  18.  4
    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  
  19.  8
    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  
  20.  6
    Computable Functionals of Finite Type I.R. O. Gandy & John N. Crossley - 1970 - Journal of Symbolic Logic 35 (1):157-158.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  4
    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