The A to Z of Logic introduces the central concepts of the field in a
series of brief, non-technical, cross-referenced 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, many-valued 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, Gödel, and Quine.