Propositions and arguments
Connectives and argument forms
Truth tables
Trees
Vagueness and bivalence
Conditionality
Natural deduction
Predicates, names, and quantifiers
Models for predicate logic
Trees for predicate logic
Identity and functions
Definite descriptions
Some things do not exist
What is a predicate?
What is logic?
Logic : an introduction by Greg Restall. ISBN 9780415400688. Published by Routledge in 2006. Publication and catalogue information, links to buy online and reader comments.