Birkhäuser (1989)

Abstract
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations ...
Keywords Logic, Symbolic and mathematical  Logic programming
Categories (categorize this paper)
Call number QA9.S363 1989
ISBN(s) 0817634533   9780817634537
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,719
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Linear Logic in Computer Science.Thomas Ehrhard (ed.) - 2004 - Cambridge University Press.
A Course in Mathematical Logic.J. L. Bell - 1977 - Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
Mathematical Logic.W. V. Quine - 1940 - Cambridge: Harvard University Press.

Analytics

Added to PP index
2009-01-28

Total views
32 ( #308,768 of 2,349,701 )

Recent downloads (6 months)
1 ( #510,898 of 2,349,701 )

How can I increase my downloads?

Downloads

My notes