Formal Logic
MIA KARTS BOOKS
Formal Logic
Book Details
- Format
- Paperback
- Language
- English
- Category
- Logic
- Condition
- Used
- ISBN-13
- 9781554812721
- ISBN-10
- 1554812720
Free U.S. shipping on all orders. International shipping is calculated at checkout.
ISBN: 1554812720
Author: Gregory, Paul A.
Condition: Used
Formal Logic is an undergraduate text suitable for introductory, intermediate, and advanced courses in symbolic logic. The books nine chapters offer thorough coverage of truth-functional and quantificational logic, as well as the basics of more advanced topics such as set theory and modal logic. Complex ideas are explained in plain language that doesnt presuppose any background in logic or mathematics, and derivation strategies are illustrated with numerous examples. Translations, tables, trees, natural deduction, and simple meta-proofs are taught through over 400 exercises. A companion website offers supplemental practice software and tutorial videos.
Have a question?

Formal Logic

