A guide to classical and modern model theory - Marcja, A. ((Annalisa)); Toffalori, Carlo (Kluwer Academic Publishers, 2003)