<p><strong>&bull; Intended for a course for students in philosophy, mathematics, linguistics, or computer science, and excellent for self-study. &nbsp;</strong></p><p><strong>&bull; Motivation is given for each formal concept and each step in building a formal logic in terms of formalizing reasoning. &nbsp;Summaries are given at important junctures in the book&nbsp;to keep students aware of what they are doing and where they are going.</strong></p><p><strong>&bull; Criteria of formalization are developed and applied to formalizing ordinary language reasoning in an example-analysis format.</strong></p><p><strong>&bull; More than 300 worked examples.</strong></p><p><strong>&bull; More than 500 exercises with answers available on the web.</strong></p>