Mathematical logic. - ERSHOV Yu.L; PALYUTIN E.A. (Moscow Mir Publishers, 1984)