Couldn't load pickup availability
A classical treatment of formal logic, following Aristotle’s tradition. Covers propositional and predicate logic, deduction methods, set theory, relations, normal forms, completeness/incompleteness, and exercises with solutions.
Pearson Education
