John B. Bacon & Michael Detlefsen 
Logic from A to Z [PDF ebook] 
The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms

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.