167275
9780070323575
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.Richard C. Jeffrey is the author of 'Formal Logic: Its Scope and Limits', published 1990 under ISBN 9780070323575 and ISBN 0070323577.
[read more]