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.
Reviews
"Ideal for undergraduate students of philosophical logic in need of a concise and quick review of terms for logic examinations."-"Zbl. Math "This book will be primarily useful to students who are reading and doing research in areas outside their major course of study."-"Choice
