Logic for Computer Scientists |
|
| Author:
| Schöning, Uwe |
| Series title: | Progress in Computer Science and Applied Logic Ser. |
| ISBN: | 978-0-8176-3453-7 |
| Publication Date: | Jul 1994 |
| Publisher: | Springer
|
| Book Format: | Hardback |
| List Price: | USD $99.00 |
Book Description:
|
This classic text introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The text is replete with illustrative examples and exercises.
This classic text introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The text is replete with illustrative examples and exercises.