7 found
Order:
  1.  2
    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)  
     
    Export citation  
     
    My bibliography  
  2.  1
    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)  
     
    Export citation  
     
    My bibliography  
  3.  1
    Richard J. Orgass (1978). Review: Alan Rose, Computer Logic. [REVIEW] Journal of Symbolic Logic 43 (2):381-382.
  4.  1
    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)  
     
    Export citation  
     
    My bibliography  
  5.  1
    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)  
     
    Export citation  
     
    My bibliography  
  6.  1
    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)  
     
    Export citation  
     
    My bibliography  
  7.  3
    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.