Lectures in logic and set theory.Vol. 1,Mathematical logic