A Concise Introduction to Mathematical Logic