MIR - Ershov Yu. L. and Palyutin E. a. - Mathematical Logic - Mir 1984
Mathematical Logic [Yu. L. Ershov, E. a. Palyutin]