Logic with Trees: An Introduction to Symbolic Logic

Logic with Trees gives students a clear account of the truth tree system for first-order logic. Provides an understanding of the importance of logic and of its relevance to other disciplines and skills to grasp sophisticated formal reasoning techniques.