Logic for Computer Scientists
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 | ||||||||||
| Buy the book | $42.87 new (22% off) $52.20 direct from Amazon (6% off) Amazon page | |||||||||
| Call number | QA9.S363 1989 | |||||||||
| ISBN(s) | 0817634533 9780817634537 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesW. V. Quine (1951). Mathematical Logic. Cambridge, Harvard University Press.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
J. L. Bell (1977). A Course in Mathematical Logic. Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
Roy Dowsing (1986). A First Course in Formal Logic and its Applications in Computer Science. Blackwell Scientific Publications.
Thomas Ehrhard (ed.) (2004). Linear Logic in Computer Science. Cambridge University Press.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
A. A. Stoli͡ar (1984). Introduction to Elementary Mathematical Logic. Dover Publications.
G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) (1995). Conditionals: From Philosophy to Computer Science. Oxford University Press.
B. Jack Copeland (ed.) (1996). Logic and Reality: Essays on the Legacy of Arthur Prior. Oxford University Press.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads15 ( #78,732 of 549,131 )Recent downloads (6 months)2 ( #37,418 of 549,131 )How can I increase my downloads? |
My notes
Discussion
