Friendly Introduction to Mathematical Logic, A