The methods of logic are essential to an understanding of philosophy and are crucial in the study of mathematics, computing and linguistics. Greg Restall's Logic is a comprehensive introduction to the major concepts and techniques involved in the study of logic, including propositions and arguments, truth tables, tree methods, conditionality and natural deduction. Restall explores both formal and philosophical logic and examines the ways in which we can achieve good reasoning.