Introduction to Logic is a combined text and workbook for beginning logic students. 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 main method of proof is truth-trees (semantic tableaux) in the style of Jeffrey; There is one chapter of 'Copi-style' natural deduction for propositional logic. This text is suitable for students of philosophy, computer science, mathematics and science in general.