Modern Logic

This undergraduate text aims to fill the need for a structured introduction to symbolic logic. The natural deduction system used by the author has been designed to help students grasp the concepts, and the material includes graded exercises at the end of each section, selected answers to which are provided at the back of the book. The book's emphasis is on giving the student a thorough understanding of the concepts rather than just a facility with formal procedures.