Order:
  1.  18
    E. W. Beth. On Machines Which Prove Theorems. Simon Stevin, Vol. 32 , Pp. 49–60.D. C. Cooper - 1969 - Journal of Symbolic Logic 34 (4):659.
  2.  15
    D. C. Luckham, D. M. R. Park, and M. S. Paterson. On Formalised Computer Programs. Journal of Computer and System Sciences, Vol. 4 , Pp. 220–249. [REVIEW]D. C. Cooper - 1974 - Journal of Symbolic Logic 39 (2):347.
  3.  24
    Review: D. C. Luckham, D. M. R. Park, M. S. Paterson, On Formalised Computer Programs. [REVIEW]D. C. Cooper - 1974 - Journal of Symbolic Logic 39 (2):347-347.
  4. Review: A. L. Chernyavskii, Computer Simulation of the Process of Solving Complex Logical Problems. [REVIEW]D. C. Cooper - 1968 - Journal of Symbolic Logic 33 (2):303-303.
  5.  7
    A. L. Čérnávskij. Modélirovanié Procéssa Réšéniá Složnyh Logičéskih Zadač Na Vyčislitél′Nyh Mašinah . Russian with English Summary. Avtomatika I Téléméhanika, No. 1 , Pp. 166–187. - A. L. Chernyavskii. Computer Simulation of the Process of Solving Complex Logical Problems . English Translation of the Preceding. Automation and Remote Control, No. 1 , Pp. 145–167. [REVIEW]D. C. Cooper - 1968 - Journal of Symbolic Logic 33 (2):303-303.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  7
    Review: E. W. Beth, On Machines Which Prove Theorems. [REVIEW]D. C. Cooper - 1969 - Journal of Symbolic Logic 34 (4):659-659.