Model Theory, 3rd edn., Stud (1990)

by C C Chang, H J Keisler
Venue:Logic Found. Math