Logic: The Laws of Truth

Logic: The Laws of Truth is a 2012 book by Nicholas J. Smith, in which the author provides an introduction to classical logic. It covers the formal tools and techniques of logic and their underlying rationales and broader philosophical significance. The book also presents various forms of proof: proof trees, major variants of natural deduction, axiomatic proofs, and sequent calculus. It also includes numerous logical exercises.