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 Häftad Omfång 224 sidor Språk Engelska Förlag Broadview Press Ltd Utgivningsdatum 2002-09-30 ISBN 9781551114057