FREE SHIPPING BOTH WAYS
ON EVERY ORDER!
LIST PRICE:
$94.77
Sorry, this item is currently unavailable.
The Logic Book with Student Solutions Manual
ISBN: 9780079130839 | 0079130836
Format: HardcoverPublisher: McGraw-Hill Humanities/Social Sciences/Languages
Pub. Date: 3/1/1997
Why Rent from Knetbooks?
Because Knetbooks knows college students. Our rental program is designed to save you time and money. Whether you need a textbook for a semester, quarter or even a summer session, we have an option for you. Simply select a rental period, enter your information and your book will be on its way!
Top 5 reasons to order all your textbooks from Knetbooks:
- We have the lowest prices on thousands of popular textbooks
- Free shipping both ways on ALL orders
- Most orders ship within 48 hours
- Need your book longer than expected? Extending your rental is simple
- Our customer support team is always here to help
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. The third edition incorporates many new and updated exercises and expanded discussions on evaluating arguments and symbolization in predicate logic. A free Student Solutions Manual is packaged with every copy of the textbook. Two logic programs, Bertie III and Twootie, are available as a free download from the University of Connecticut Philosophy Department’s Web site. The Web address for downloading the software is http://www.ucc.uconn.edu/~wwwphil/software.html. Bertie 3 is a proof checker for the natural deduction method and Twootie is a proof checker for the truth tree method.
Chapter 1: Basic Notions of LogicChapter 2: Sentential Logic: Symbolization and SyntaxChapter 3: Sentential Logic: SemanticsChapter 4: Sentential Logic: Truth-TreesChapter 5: Sentential Logic: DerivationsChapter 6: Sentential Logic: MetatheoryChapter 7: Predicate Logic: Symbolization and SyntaxChapter 8: Predicate Logic: SemanticsChapter 9: Predicate Logic: Truth-TreesChapter 10: Predicate Logic: DerivationsChapter 11: Predicate Logic: MetatheorySelected BibliographyIndex<... MORE
Chapter 3: Sentential Logic: SemanticsChapter 4: Sentential Logic: Truth-TreesChapter 5: Sentential Logic: DerivationsChapter 6: Sentential Logic: MetatheoryChapter 7: Predicate Logic: Symbolization and SyntaxChapter 8: Predicate Logic: SemanticsChapter 9: Predicate Logic: Truth-TreesChapter 10: Predicate Logic: DerivationsChapter 11: Predicate Logic: MetatheorySelected BibliographyIndex<... MORE
Chapter 5: Sentential Logic: DerivationsChapter 6: Sentential Logic: MetatheoryChapter 7: Predicate Logic: Symbolization and SyntaxChapter 8: Predicate Logic: SemanticsChapter 9: Predicate Logic: Truth-TreesChapter 10: Predicate Logic: DerivationsChapter 11: Predicate Logic: MetatheorySelected BibliographyIndex<... MORE
Chapter 7: Predicate Logic: Symbolization and SyntaxChapter 8: Predicate Logic: SemanticsChapter 9: Predicate Logic: Truth-TreesChapter 10: Predicate Logic: DerivationsChapter 11: Predicate Logic: MetatheorySelected BibliographyIndex<... MORE
Chapter 9: Predicate Logic: Truth-TreesChapter 10: Predicate Logic: DerivationsChapter 11: Predicate Logic: MetatheorySelected BibliographyIndex<... MORE
Chapter 11: Predicate Logic: MetatheorySelected BibliographyIndex<... MORE
Index<... MORE
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.
