Teorija modelej. Časť 1 - Barwise, John (Spravočnaja kniga po matematičeskoj logike, 1982)