Tomassi P. Logic

London, New York: Routledge, 1999. — 428 p. — ISBN: 0-203-19703-8Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. 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 subjectList of FiguresAcknowledgements
How to Think Logically
How to Prove that You Can Argue Logically #1
How to Prove that You Can Argue Logically #2
Formal Logic and Formal Semantics #1
An Introduction to First Order Predicate Logic
How to Argue Logically in QL
Formal Logic and Formal Semantics #2