Spravočnaja kniga po matematičeskoj logike v četyrech častjach (Nauka, 1982)