10 found
Order:
  1.  29
    The Completeness of Presupposition‐Free Tense Logic.Robert F. Barnes & Raymond D. Gumb - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13‐18):193-208.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  4
    The Completeness of Presupposition-Free Tense Logic.Robert F. Barnes & Raymond D. Gumb - 1979 - Mathematical Logic Quarterly 25 (13-18):193-208.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  13
    Alice Mary Hilton. Logic, Computing Machines, and Automation. Spartan Books, Washington, D.C., and Cleaver-Hume Press, London, 1963, Xxi + 427 Pp. [REVIEW]Robert F. Barnes - 1973 - Journal of Symbolic Logic 38 (2):341-342.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  17
    Dana Scott. Some Definitional Suggestions for Automata Theory. Journal of Computer and System Sciences, Vol. 1 , Pp. 187–212. [REVIEW]Robert F. Barnes - 1975 - Journal of Symbolic Logic 40 (4):615-616.
  5.  42
    Interval Temporal Logic: A Note. [REVIEW]Robert F. Barnes - 1981 - Journal of Philosophical Logic 10 (4):395 - 397.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  31
    Layman E. Allen. Toward More Clarity in Business Communication by Modern Logical Methods. Management Science, Vol. 5 , Pp. 121–135. - Layman E. Allen. Toward a Procedure for Logically Cataloguing Knowledge. American Documentation, Vol. 10 , Pp. 296–315. [REVIEW]Robert F. Barnes - 1970 - Journal of Symbolic Logic 35 (1):162-164.
  7.  13
    Review: Alice Mary Hilton, Logic, Computing Machines, and Automation. [REVIEW]Robert F. Barnes - 1973 - Journal of Symbolic Logic 38 (2):341-342.
  8.  11
    Review: Dana Scott, Some Definitional Suggestions for Automata Theory. [REVIEW]Robert F. Barnes - 1975 - Journal of Symbolic Logic 40 (4):615-616.
  9.  3
    Review: Layman E. Allen, Toward More Clarity in Business Communication by Modern Logical Methods; Layman E. Allen, Toward a Procedure for Logically Cataloguing Knowledge. [REVIEW]Robert F. Barnes - 1970 - Journal of Symbolic Logic 35 (1):162-164.
  10.  5
    Logic, Computing Machines, and Automation.Robert F. Barnes - 1973 - Journal of Symbolic Logic 38 (2):341-342.
    Direct download  
     
    Export citation  
     
    Bookmark