Logic as a tool : a guide to formal logical reasoning / Valentin Goranko.
Material type: TextPublisher: Chichester, UK ; Hoboken, NJ : Wiley, 2016Description: 1 online resource illustrationsContent type:- text
- computer
- online resource
- 9781118880005 (cloth)
- 511.3 23
- BC71 .G67 2016
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
E-Resources | Main Library E-Resources | 511.3 G661 (Browse shelf(Opens below)) | Available | E005173 |
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.
There are no comments on this title.