Mathematical Logic - Ershov, Yu. L. (Mir Publishers, 1984)