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