TY  - BOOK
AU  - Goranko,Valentin
TI  - Logic as a tool: a guide to formal logical reasoning 
SN  - 9781118880005 (cloth)
AV  - BC71 .G67 2016
U1  - 511.3 23
PY  - 2016///
CY  - Chichester, UK, Hoboken, NJ
PB  - Wiley
KW  - Logic
KW  - Textbooks
N1  - 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
UR  - https://drive.google.com/file/d/1akJnAxrJ0g3yH2VDPFPXujGoRulwDyNn/view?usp=share_link
ER  -