Spravočnaja kniga po matematičeskoj logike : Čast' 1. Teorija modelej (Nauka, 1982)