Introduction to Logic, 2nd edition

Introduction to Logic is a combined text and workbook for students beginning their study of logic. The workbook style allows students to proceed at their own pace, checking their progress in the end-of-chapter exercises.

• The text covers propositional logic and predicate logic with identity, the focus being on arguments.
• The methods of proof are truth-tables and truth-trees (semantic tableaux) in the style of Jeffrey.

This text is suitable for students of philosophy, computer science, mathematics and science in general.