Introduction to Mathematical Logic. Part I