Model Theory (1990)

by C Chang, H Keisler