Title: Course of Mathematical Logic