Overview

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.

Full Product Details

9780415213752

Table of Contents

Reviews

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

'Ideal for undergraduate students of philosophical logic.' - Albert A. Mullin 'Ideal for undergraduate students of philosophical logic in need of a concise and quick review of terms for logic examinations.' - Zbl. Math

Author Information

Michael Detlefsen, David Charles McCarty, John B. Bacon

Tab Content 6

Countries Available