7 found
Sort by:
  1. Richard J. Orgass (1978). Review: Alan Rose, Computer Logic. [REVIEW] Journal of Symbolic Logic 43 (2):381-382.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Richard J. Orgass (1975). Review: Donald M. Kaplan, Some Completeness Results in the Mathematical Theory of Computation. [REVIEW] Journal of Symbolic Logic 40 (2):246-247.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Richard J. Orgass (1975). Review: Haskell B. Curry, The Undecidability of $Lambda$K-Conversion. [REVIEW] Journal of Symbolic Logic 40 (2):246-246.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Charles D. Parsons, Richard J. Orgass & Richmond H. Thomason (1972). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 37 (2):430-447.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Richard J. Orgass (1971). Review: J. McCarthy, Cicely M. Popplewell, Towards a Mathematical Science of Computation; John McCarthy, Wayne A. Kalenich, Problems in the Theory of Computation. [REVIEW] Journal of Symbolic Logic 36 (2):346-347.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Richard J. Orgass (1970). Review: Haskell B. Curry, The Deduction Theorem in the Combinatory Theory of Restricted Generality. [REVIEW] Journal of Symbolic Logic 35 (3):468-469.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Richard J. Orgass (1970). Review: Haskell B. Curry, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Basic Verifiability in the Combinatory Theory of Restricted Generality. [REVIEW] Journal of Symbolic Logic 35 (3):469-470.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation