Logic from A to Z /
Michael Detlefsen, David Charles McCarty, John B. Bacon.
- New York : Routledge, 1999.
- vii, 116 p ; 20 cm.
Includes index.
Choice.
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.