Introduction to Mathematical Logic 6th Edition by Elliott Mendelson