This list of books are ONLY the books that have been ranked on the lists that are aggregated on this site. This is not a comprehensive list of all books by this author.

1. 1. The Logic Book

   

   A clear, student-oriented introduction to formal logic that develops both propositional and predicate systems through definitions, examples, and structured exercises; it explains syntax and semantics, truth tables, tableau and natural deduction proof techniques, methods for translating ordinary-language arguments into formal notation, and key metatheoretical results (soundness, completeness, and decidability) while emphasizing strategies for constructing and evaluating formal proofs and arguments.