• Elliott Mendelson  Introduction to Mathematical Logic, Fifth Edition, Chapman and Hall, Discrete Mathematics and Its Applications Series, Due in August 2009

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.