Logic from A to Z: REP Glossary of Logical and Mathematical Terms (Routledge A-Z)

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. "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 A glossary of terms used in formal logic and the philosophy of mathematics. The text contains over 500 entries, including key terms found in the study of: logic (argument, turing machine, variable); set and model theory (isomorphism, function); and computability theory (algorithm, turing machine). It also includes a table of logical symbols. Cross-referenced to help comprehension and add detail, this book seeks to provide a reference source for students of all branches of logic Contents......Page 5 A......Page 11 B......Page 22 C......Page 24 D......Page 39 E......Page 49 F......Page 53 G......Page 57 H......Page 58 I......Page 60 J......Page 66 K......Page 67 L......Page 68 M......Page 73 N......Page 80 O......Page 82 P......Page 85 Q......Page 94 R......Page 95 S......Page 100 T......Page 109 U......Page 114 V......Page 116 W......Page 118 Z......Page 119