Scan barcode
357 pages • first pub 2003 (editions)
ISBN/UID: 9780521008044
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: Not specified
Description
Peter Smith introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible "tree" method. His comme...
Community Reviews
Content Warnings
357 pages • first pub 2003 (editions)
ISBN/UID: 9780521008044
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: Not specified
Description
Peter Smith introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible "tree" method. His comme...