[Logic] [Mathematics] - Mathematical Logic. Lecture Notes (Stephen Simpson).pdf
MIR - Ershov Yu. L. and Palyutin E. a. - Mathematical Logic - Mir 1984
Mathematical Logic [Yu. L. Ershov, E. a. Palyutin]