Model Theory: An Introduction by David Marker

GPTKB entity