Author: Daniel Bonevac. Deduction is an efficient and elegant presentation of classical first-order logic. Title: Deduction. Contains detailed, yet accessible chapters on extensions and revisions of classical logic: modal logic, many-valued logic, fuzzy logic, intuitionistic logic, counterfactuals, deontic logic, common sense reasoning, and quantified modal logic.