by Michael Detlefsen
"Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of Logic: Argument, Turing Machine, Va…