Model theory (1973)

by C C Chang, H J Keisler
Venue:Studies in Logic and the Foundations of Mathematics