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 | Status | |
|---|---|---|---|
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.
