Model theory: An introduction (2002)

by David Marker
Venue:GTM