Model theory - Manzano, Maria (Clarendon press, 1999)