Matematičeskaja logika - Shoenfield, Joseph R. (Moskva : Nauka, 1975)