Logic as a tool [electronic resource] : a guide to formal logical reasoning / Valentin Goranko.
Publisher: Chichester, UK ; Hoboken, NJ : Wiley, 2016Description: xxii, 358 pages : illustrations ; 25 cmContent type:- text
- computer
- online resource
- 9781118880005 (cloth)
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
eBooks | Digital Library | Available |
Includes bibliographical references (pages [348]-350) and index.
Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises.