"A guide to classical and modern model theory" - читать интересную книгу автора (Annalisa Marcja, Carlo Toffalori)