How Logic Works: A User's Guide

Logic for humans -- Deducing -- Supposing -- New proofs from old -- Truth -- Quantifying -- Theories -- Models -- A theory about propositional logic -- A theory about predicate logic -- Beyond logic.