Spravočnaja kniga po matematičeskoj logike : Part 4. (Nauka, 1982)