Logic for Computer Science

The PDF covers the following
topics related to Computer Science : Introduction to Logics, Propositional
Calculus, Predicate Calculus, Applications of Predicate Calculus, Automated
Deduction in Propositional Calculus, Automated Deduction in Predicate Calculus,
Second-Order Logic, Second-Order Quantifier Elimination, Modal Logics, Temporal
Logic, Logics of Programs, Fixpoint Calculus, Rough Concepts.

**Author(s):** Andrzej Szalas

125 Pages