Normal view MARC view ISBD view

Goranko, Valentin,

Logic as a tool a guide to formal logical reasoning / [electronic resource] : Valentin Goranko. - xxii, 358 pages : illustrations ; 25 cm

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.

ISBN: 9781118880005 (cloth)

LCCN: 2016010458

Subjects--Topical Terms:
Logic--Textbooks.

Index Terms--Genre/Form:
electronic books