Model Theory for Metric Structures

GPTKB entity