The A to Z of Logic introduces the central concepts of the field in a series of brief nontechnical crossreferenced dictionary entries. The 352 alphabetically arranged entries give a clear basic introduction to a very broad range of logical topics. Entries can be found on deductive systems such as propositional logic modal logic deontic logic temporal logic set theory manyvalued logic mereology and paraconsistent logic. Similarly there are entries on topics relating to those previously mentioned such as negation conditionals truth tables and proofs. Historical periods and figures are also covered including ancient logic medieval logic Buddhist logic Aristotle Ockham Boole Frege Russell Gdel and Quine.