Normal view MARC view ISBD view

Goranko, Valentin,

Logic as a tool : a guide to formal logical reasoning / Valentin Goranko. - 1 online resource illustrations ;

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.

LC Class. No.: BC71 / .G67 2016

Dewey Class. No.: 511.3