Title: Logic from A to Z
Description: "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.
Subjects: Dictionaries, Logic, Wiskundige logica, Wörterbuch, Mathematische Logik, PHILOSOPHY, Logik, Logic, symbolic and mathematical, Mathematics, Encyclopedias, Symbolic and mathematical Logic