Order:
Order
- 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.details
- The Completeness of Presupposition-Free Tense Logic.Robert F. Barnes & Raymond D. Gumb - 1979 - Mathematical Logic Quarterly 25 (13-18):193-208.details
- 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.details
- 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.details
- Interval Temporal Logic: A Note. [REVIEW]Robert F. Barnes - 1981 - Journal of Philosophical Logic 10 (4):395 - 397.details
- 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.details
- Review: Alice Mary Hilton, Logic, Computing Machines, and Automation. [REVIEW]Robert F. Barnes - 1973 - Journal of Symbolic Logic 38 (2):341-342.details
- Review: Dana Scott, Some Definitional Suggestions for Automata Theory. [REVIEW]Robert F. Barnes - 1975 - Journal of Symbolic Logic 40 (4):615-616.details
- 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.details
- Logic, Computing Machines, and Automation.Robert F. Barnes - 1973 - Journal of Symbolic Logic 38 (2):341-342.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
 Email
|
 RSS feed
|
|
