Introduction to Model Theory by Philipp Rothmaler

GPTKB entity