Mathematical logic - Ershov, Yu L. (MIR Publishers, 1984)