Spravočnaja kniga po matematičeskoj logike : Časť 2. Teorija množestv - Barwise, J. (Nauka, 1982)