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.
| ISBN-13: | 9783764334536 |
| ISBN-10: | 3764334533 |
| Publisher: | Birkhäuser |
| Publication date: | 1989 |
| Pages: | 166 |
| Author: | Uwe Schöning |
| Language: | en |
| Binding: | Hardcover |
Discover more books in the same category
