Title: Invitation to Mathematical Logic