Logic from A to Z / Detlefsen, Michael

Contains alphabetically arranged entries that provide definitions of terms used in formal logic and the philosophy of mathematics, and includes a table of the logical symbols used in set theory, propositional and predicate logic, and modal logic.