Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic pr...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Language: | English |
| Published: |
Boston, MA :
Birkhäuser Boston : Imprint: Birkhäuser,
2008.
|
| Edition: | 1st ed. 2008. |
| Series: | Modern Birkhäuser Classics,
|
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-0-8176-4763-6 |
Table of Contents:
- Propositional Logic
- Predicate Logic
- Logic Programming.