Doing logic by computer

Notre Dame Journal of Formal Logic 10 (2):150-162 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
Electronic Media Review.Michael B. Burke - 2006 - Teaching Philosophy 29 (3):255-260.
Application of modal logic to programming.Vaughan R. Pratt - 1980 - Studia Logica 39 (2-3):257 - 274.
A first course in formal logic and its applications in computer science.Roy Dowsing - 1986 - Boston: Blackwell Scientific Publications. Edited by V. J. Rayward-Smith & C. D. Walter.
Logic and reality: essays on the legacy of Arthur Prior.Brian Jack Copeland (ed.) - 1996 - New York: Oxford University Press.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
Mathematical logic for computer science.M. Ben-Ari - 1993 - New York: Prentice-Hall.
Computer implication and the Curry paradox.Wayne Aitken & Jeffrey A. Barrett - 2004 - Journal of Philosophical Logic 33 (6):631-637.

Analytics

Added to PP
2010-08-24

Downloads
9 (#1,080,087)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references