Goranko, Valentin, <br/><br/>
Logic as a tool :  a guide to formal logical reasoning / 
Valentin Goranko. 
 - 1 online resource  illustrations ; 
<br/><br/>Includes bibliographical references (pages [348]-350) and index. 
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9781118880005 (cloth) 
<br/><br/><label>LCCN: </label>2016010458 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic--Textbooks.
<br/><br/><label>LC Class. No.: </label>BC71  / .G67 2016 
<br/><br/><label>Dewey Class. No.: </label>511.3