mathematical logic An introduction to model theory. - Lightstone A H; Enderton H B Ed. (London Plenum Press, 1978)