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.
Item is individually inspected and comes wrapped in protective plastic. No markings or highlights, a logical choice.
