"A Course in Model Theory: An Introduction to Contemporary Mathematical Logic (Universitext)" - читать интересную книгу автора (Bruno Poizat)