Logic - Greg (University of Melbourne Restall - Bog

The methods of logic are essential to an understanding of philosophy and are crucial in the study of mathematics, computing, linguistics and many other subjects. Introducing the major concepts and techniques involved in the study of logic, this book explores formal and philosophical logic, and is for students taking introductory courses in logic.