13 found
Sort by:
  1. R. O. Gandy (1980). Principles of Mechanisms. In. In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland.
    No categories
     
    My bibliography  
     
    Export citation  
  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  
     
    My bibliography  
     
    Export citation  
  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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. 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)  
     
    My bibliography  
     
    Export citation  
  5. 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.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. R. O. Gandy (1968). Review: P. B. Andrews, A Transfinite Type Theory with Type Variables. [REVIEW] Journal of Symbolic Logic 33 (1):112-113.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. R. O. Gandy (1960). Review: Arthur Pap, Types and Meaninglessness. [REVIEW] Journal of Symbolic Logic 25 (4):333-334.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. R. O. Gandy (1959). On the Axiom of Extensionality, Part II. Journal of Symbolic Logic 24 (4):287-300.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. R. O. Gandy (1959). Review: N. Bourbaki, Theorie des Ensembles. [REVIEW] Journal of Symbolic Logic 24 (1):71-73.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. 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.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. R. O. Gandy (1958). Review: Maurice L'Abbe, Systems of Transfinite Types Involving $Lambda$-Conversion. [REVIEW] Journal of Symbolic Logic 23 (3):361-362.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. R. O. Gandy (1956). On the Axiom of Extensionality--Part I. Journal of Symbolic Logic 21 (1):36-48.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation