Description: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, set and model theory, and computability theory. It also includes a table of logical symbols.