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 editio…