Graham Priest shows that formal logic is a powerful exciting part of modern philosophy -- a
tool for thinking about everything from the existence of God and the reality of time to
paradoxes of probability. Explaining formal logic in simple non-technical terms this edition
includes new sections on mathematical algorithms axioms and proofs.
