Key points are not available for this paper at this time.
From the Publisher: Provides a simple and clear presentation, covering propositional and predicate logic and some specialized logics used for reasoning about the correctness of computer systems.
A Tue, study studied this question.