How Logic Works

Více o knize

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.