Publisher's Synopsis
This text features a flexible organisation that covers truth trees, semantics, derivations and metatheory as it develops sentential logic and predicate logic. It presents both natural deduction and tree methods of proof.
3rd Edition
Book (01 Mar 1997)
Not available for sale
Out of stock
This text features a flexible organisation that covers truth trees, semantics, derivations and metatheory as it develops sentential logic and predicate logic. It presents both natural deduction and tree methods of proof.
ISBN: | 9780070060593 |
Publisher: | McGraw-Hill Companies |
Imprint: | McGraw-Hill Companies |
Pub date: | 01 Mar 1997 |
Edition: | 3rd Edition |
DEWEY: | 160 |
DEWEY edition: | 20 |
Language: | English |
Number of pages: | 556 |
Weight: | -1g |