Logic with Added Reasoning

By Michael Gabbay

This concise text treats logic as a tool, "generated so that half the work involved in thinking is done for you by somebody else (the rules and laws of the logic)." Gabbay explains in a clear and careful manner how formal features of, and formal relations between, ordinary declarative sentences are captured by the systems of propositional and predicate logic.

• Format: Paperback
• Language: English
• ISBN: 1551114054
• ISBN13: 9781551114057
• Release Date: September 2002
• Publisher: Broadview Press Inc
• Length: 224 Pages
• Weight: 0.70 lbs.