A Course in Model Theory

GPTKB entity