Title: Friendly Introduction to Mathematical Logic, A