Matematičeskaja logika - Eršov, Jurij Leonidovič (Nauka - Moskva, 1987)