792444
9780070323216
This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility.Jeffrey, Richard C. is the author of 'Formal Logic Its Scope and Limits', published 1981 under ISBN 9780070323216 and ISBN 0070323216.
[read more]