Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Its Applications)