This outstanding book is a leading text for symbolic or formal logic courses. All techniques and concepts are presented with clear, comprehensive explanations and numerous, carefully constructed examples. Its flexible organization (all chapters are complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose.
"synopsis" may belong to another edition of this title.
Flexible organization that covers semantics, truth trees, derivations, and metatheory as it develops sentential logic (Chapters 2-6) and predicate logic (Chapters 7-11).
Presents both natural deduction and tree methods of proof.
Offers a wide variety of examples that effectively illustrate the concepts discussed in the text.
Includes numerous exercises that provide a range of difficulty. A Student Solutions Manual (available free packaged with the text) includes answers for half of the exercises, allowing students to check their own work.
Merrie Bermann received her Ph.D. in philosophy from the United of Toronto and is currently an Associate Professor in the Computer Science Department at Smith College. She has published articles in formal semantics and logic, philosophy of language, and computational linguistics.
"About this title" may belong to another edition of this title.
Book Description McGraw-Hill Humanities/Social, 2003. Hardcover. Book Condition: New. Bookseller Inventory # P110072401893
Book Description McGraw-Hill Humanities/Social Sciences/Languages, 2003. Hardcover. Book Condition: New. book. Bookseller Inventory # 0072401893