Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics.Extensively cross-referenced to help comprehension and add detail, Logic from A to Z provides an indispensable reference source for students of all branches of logic.