"A Guide to Classical and Modern Model Theory (Trends in Logic) " - читать интересную книгу автора (Annalisa Marcja, Carlo Toffalori)