Hodel Introduction to Mathematical Logic