Spravočnaja kniga po matematičeskoj logike : TEORIJA MNOŽEST'. ČAST' 2. - Barwise, J.; Kanovej, V. G. (Moskva : Nauka - Moskva, 1982)
Prijevod djela: HANDBOOK OF MATEMATICAL LOGIC