BooksDirect

Description - Logic from A to Z by John B. Bacon

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.

Buy Logic from A to Z by John B. Bacon from Australia's Online Independent Bookstore, BooksDirect.

Other Editions - Logic from A to Z by John B. Bacon

A Preview for this title is currently not available.