22 found
Order:
  1. 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.
  2.  4
    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  
     
    My bibliography   8 citations  
  3.  13
    The Next Admissible Set.K. J. Barwise, R. O. Gandy & Y. N. Moschovakis - 1971 - Journal of Symbolic Logic 36 (1):108-120.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  4.  9
    Set Existence.R. O. Gandy, G. Kreisel & W. W. Tait - 1962 - Journal of Symbolic Logic 27 (2):232-233.
  5. Principles of Mechanisms.R. O. Gandy - 1980 - In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland.
  6.  22
    On the Axiom of Extensionality--Part I.R. O. Gandy - 1956 - Journal of Symbolic Logic 21 (1):36-48.
  7.  21
    On the Axiom of Extensionality, Part II.R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (4):287-300.
  8.  13
    On the Axiom of Extensionality.R. O. Gandy & Dana Scott - 1964 - Journal of Symbolic Logic 29 (3):142-142.
  9. Review: N. Bourbaki, Theorie des Ensembles. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (1):71-73.
  10.  2
    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  
     
    My bibliography   1 citation  
  11.  1
    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)  
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  12.  4
    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.
  13.  6
    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.
  14. Review: Ludwik Borkowski, Systems of the Propositional and of the Functional Calculus Based on One Primitive Term. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (3):242-243.
     
    Export citation  
     
    My bibliography  
  15.  1
    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 (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  1
    Review: Arthur Pap, Types and Meaninglessness. [REVIEW]R. O. Gandy - 1960 - Journal of Symbolic Logic 25 (4):333-334.
  17.  1
    Review: Maurice L'Abbe, Systems of Transfinite Types Involving $Lambda$-Conversion. [REVIEW]R. O. Gandy - 1958 - Journal of Symbolic Logic 23 (3):361-362.
  18.  7
    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  
     
    My bibliography  
  19. 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  20. L'Abbé Maurice. Systems of Transfinite Types Involving Λ-Conversion.R. O. Gandy - 1958 - Journal of Symbolic Logic 23 (3):361-362.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. Review: P. B. Andrews, A Transfinite Type Theory with Type Variables. [REVIEW]R. O. Gandy - 1968 - Journal of Symbolic Logic 33 (1):112-113.
  22. 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.
     
    Export citation  
     
    My bibliography