The first beginning logic text to employ the tree methoda complete formal system of first-order logic that is remarkably easy to understand and usethis text allows students to take control of the nuts and bolts of formal logic quickly, and to move on to more complex and abstract problems.