Logic from A to Z

"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, Variable; Set and model theory: Isomorphism, Function; Computability theory: Algorithm, Turing Machine; plus a table of logical symbols." "Extensively cross-referenced to help comprehension and add detail, Logic from A to Z provides a reference source for students of all branches of logic."--Jacket.