A Shorter Model Theory by Wilfrid Hodges

GPTKB entity