Logic from A to 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.