Los puntos clave no están disponibles para este artículo en este momento.
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.