• Shop by category
  • Powered by eBay
  • Modern Logic : A Text in Elementary Symbolic Logic, Paperback by Forbes, Grae...

    • Item No : 357281715881
    • Condition : Good
    • Brand : No brand Info
    • Seller : greatbookprices1
    • Current Bid : US $135.21
    • * Item Description

    • Modern Logic : A Text in Elementary Symbolic Logic, Paperback by Forbes, Graeme, ISBN 0195080297, ISBN-13 9780195080292, Used Good Condition, Free shipping in the US

      Filling the need for an accessible, carefully structured introductory text in symbolic logic, <em>Modern Logic</em> has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special<br>appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of th. Unlike competing texts, <em>Modern Logic</em> gives equal weight to semantics and proof theory and explains their relationship,<br>and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, th offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section<br>deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, <em>Modern Logic</em> provides a thorough understanding of basic concepts and a sound basis for more advanced<br>work.<br>
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category