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