Author: A Course in Model Theory