22 found
Order:
  1. R. O. Gandy & C. E. M. Yates (1970). Meeting of the Association for Symbolic Logic Manchester 1969. Journal of Symbolic Logic 35 (4):598-613.
  2.  11
    K. J. Barwise, R. O. Gandy & Y. N. Moschovakis (1971). The Next Admissible Set. Journal of Symbolic Logic 36 (1):108-120.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  3.  1
    G. Kreisel, R. O. Gandy & C. E. M. Yates (1975). Some Reasons for Generalizing Recursion Theory. Journal of Symbolic Logic 40 (2):230-232.
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  4.  5
    R. O. Gandy, G. Kreisel & W. W. Tait (1962). Set Existence. Journal of Symbolic Logic 27 (2):232-233.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  5. R. O. Gandy (1980). Principles of Mechanisms. In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland
     
    Export citation  
     
    My bibliography  
  6.  6
    R. O. Gandy & Dana Scott (1964). On the Axiom of Extensionality. Journal of Symbolic Logic 29 (3):142-142.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7.  19
    R. O. Gandy (1959). On the Axiom of Extensionality, Part II. Journal of Symbolic Logic 24 (4):287-300.
  8.  18
    R. O. Gandy (1956). On the Axiom of Extensionality--Part I. Journal of Symbolic Logic 21 (1):36-48.
  9. R. O. Gandy (1959). Review: N. Bourbaki, Theorie des Ensembles. [REVIEW] Journal of Symbolic Logic 24 (1):71-73.
     
    Export citation  
     
    My bibliography   1 citation  
  10.  2
    R. O. Gandy & John N. Crossley (1970). Computable Functionals of Finite Type I. Journal of Symbolic Logic 35 (1):157-158.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  4
    R. O. Gandy & D. S. Scott (1977). European Meeting of the Association for Symbolic Logic: Oxford, England, 1976. Journal of Symbolic Logic 42 (3):437-479.
  12.  1
    R. O. Gandy (1960). Review: Arthur Pap, Types and Meaninglessness. [REVIEW] Journal of Symbolic Logic 25 (4):333-334.
  13.  1
    R. O. Gandy (1958). Review: Maurice L'Abbe, Systems of Transfinite Types Involving $Lambda$-Conversion. [REVIEW] Journal of Symbolic Logic 23 (3):361-362.
  14. R. O. Gandy (1959). Review: Ludwik Borkowski, Systems of the Propositional and of the Functional Calculus Based on One Primitive Term. [REVIEW] Journal of Symbolic Logic 24 (3):242-243.
     
    Export citation  
     
    My bibliography  
  15.  2
    Jens Erik Fenstad, R. O. Gandy & Gerald E. Sacks (eds.) (1978). Generalized Recursion Theory Ii: Proceedings of the 1977 Oslo Symposium. 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 ...
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  16. R. O. Gandy (1968). 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] Journal of Symbolic Logic 33 (1):112-113.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. R. O. Gandy (1959). 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] Journal of Symbolic Logic 24 (3):242-243.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. R. O. Gandy (1959). 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] Journal of Symbolic Logic 24 (1):71-73.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. R. O. Gandy (1959). 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] Journal of Symbolic Logic 24 (3):239.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. R. O. Gandy (1958). L'Abbé Maurice. Systems of Transfinite Types Involving Λ-Conversion. Journal of Symbolic Logic 23 (3):361-362.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. R. O. Gandy (1968). Review: P. B. Andrews, A Transfinite Type Theory with Type Variables. [REVIEW] Journal of Symbolic Logic 33 (1):112-113.
     
    Export citation  
     
    My bibliography  
  22. R. O. Gandy (1959). Review: William W. Boone, An Analysis of Turing's "The Word Problem in Semi-Groups with Cancellation". [REVIEW] Journal of Symbolic Logic 24 (3):239-239.
     
    Export citation  
     
    My bibliography