17 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. 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  
  3.  8
    K. J. Barwise, R. O. Gandy & Y. N. Moschovakis (1971). The Next Admissible Set. Journal of Symbolic Logic 36 (1):108-120.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  4.  1
    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.  3
    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  
  6.  17
    R. O. Gandy (1959). On the Axiom of Extensionality, Part II. Journal of Symbolic Logic 24 (4):287-300.
  7.  13
    R. O. Gandy (1956). On the Axiom of Extensionality--Part I. Journal of Symbolic Logic 21 (1):36-48.
  8. 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  
  9.  1
    R. O. Gandy & John N. Crossley (1970). Computable Functionals of Finite Type I. Journal of Symbolic Logic 35 (1):157-158.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  3
    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.
  11. 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  
  12.  1
    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  
  13. 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  
  14. R. O. Gandy (1960). Review: Arthur Pap, Types and Meaninglessness. [REVIEW] Journal of Symbolic Logic 25 (4):333-334.
  15. R. O. Gandy (1958). Review: Maurice L'Abbe, Systems of Transfinite Types Involving $Lambda$-Conversion. [REVIEW] Journal of Symbolic Logic 23 (3):361-362.
  16. 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  
  17. 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