Model theory /
Hodges, Wilfrid,1941-
Cambridge : Cambridge University Press,
1993.