Logic as a tool a guide to formal logical reasoning - Goranko, Valentin (Chichester, UK Wiley, 2016)
Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises.
Includes bibliographical references (pages 348-350) and index.
Keywords: Logic -- Textbooks