
Rigorous yet intuitive and accessible, Introduction to Formal Logic provides a focused, "nuts-and-bolts" introduction to formal deductive logic that covers syntax, semantics, translation, and natural deduction for propositional and predicate logics. For instructors who...

Rigorous yet intuitive and accessible, Introduction to Formal Logic provides a focused, nuts-and-bolts introduction to formal deductive logic that covers syntax, semantics, translation, and natural deduction for propositional and predicate logics. For instructors who want...