Concise Introduction to Mathematical Logic