Logic with Added Reasoning - Michael Gabbay - Bog

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.