Spravočnaja kniga po matematičeskoj logike : teorija modelej / čast' 1. - Barvajs, Dž (Nauka, 1982)
Prijevod djela: Handbook of mathematical logic / J. Barwise editor.