Logic in Computer Science (Paperback)

Chapter 1. Introduction to Logic.- Part I. Propositional Logic.- Chapter 2. Propositional Logic.- Chapter 3. Reasoning in Propositional Logic.- Chapter 4. Propositional Satisfiability.- Part II. First-Order Logic.- Chapter 5. First-Order Logic.- Chapter 6. Unification and Resolution.- Chapter 7. First-Order Logic with Equality.- Part III. Logic in Programming.- Chapter 8. Prolog: Programming in Logic.- Chapter 9. Hoare Logic.- Chapter 10. Temporal Logic.- Part IV. Logic of Computability.- Chapter 11. Decidable and Undecidable Problems.- Chapter 12. Decision Procedures.