A Course in Model Theory: An Introduction to Contemporary Mathematical Logic (2000)

by B Poizat