Model Theory by C.C. Chang and H.J. Keisler

GPTKB entity