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, with over 500 entries. First published in the Routledge Encyclopedia of Philosophy. First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy.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 an indispensable reference source for students of all branches of logic.