While retaining the coverage of basic topics in mathematical logic, this new edition of a bestselling text restructures the material and offers numerous updates. It adds a new chapter on model logic and expands the treatment of Godel's second incompleteness theorem to make the text more rigorous and complete. This edition includes many more problems and examples throughout to help students practice the concepts. It also contains additional applications on how modern logic can be used in the field of computer science.