Mathematical logic: An introduction to model theory - Lightstone A H; Enderton H B (New York Plenum, 1978)
Keywords: Moodel theory