The successful Introduction to Logic, now appearing in its third edition, has retained its tried-and-tested textbook concept. The work is designed both for beginning students as well as for students with previous knowledge of mathematics or of formal semantics. Exercises complement the material in the text. The new edition has been revised and expanded to include a preface.