Spravočnaja kniga po matematičeskoj logike. V 4-ch častjach. Časť 2. : Teorija množestv. - BARWISE, J (Moskva, 1982)
Záznam revízie