ENGLISH

Logic as a tool: a guide to formal logical reasoning

By Valentin , Goranko

Book information

Publisher
Wiley
Year
2016
ISBN
9781118880043, 9781118880005, 1118880005
Language
english
Format
EPUB
Filesize
51 MB (53001967 bytes)
Pages
xxii, 358 pages : illustrations ; 25 cm\0
Time added
2020-07-26 19:24:52
Logic;Textbooks;Logic -- Textbooks

Description

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. 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.

Similar books