Including student-friendly exercises, illustrations, summaries and a glossary of terms, Logic introduces and explains:
* The Theory of Validity * The Language of Propositional Logic * Proof-Theory for Propositional Logic * Formal Semantics for Propositional Logic including the Truth-Tree Method * The Language of Quantificational Logic including the Theory of Descriptions.
Logic is an ideal textbook for any logic student: perfect for revision, staying on top of coursework or for anyone wanting to learn about the subject.