Download or read book Logic With Added Reasoning written by Michael Gabbay and published by Broadview Press. This book was released on 2002-09-04 with total page 228 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.