Mathematical logic - Ershov, Yu. L. (Mir, 1984)