Course of Mathematical Logic