"Originally published in the ... Routledge Encyclopedia of Philosophy"--Page 4 of cover
"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
Print version record
Cover; Logic from A to Z; Copyright; Contents; Introduction; Logic from A to Z; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; Z; Table of logical symbols