A Course in Model Theory - Katrin Tent; Martin Ziegler (2012)