An Introduction to Mathematical Logic