A Friendly Introduction to Mathematical Logic