Maths›03. Logic and Foundations2.3 Structures and InterpretationsStructures, domains, and interpretations of symbols in first order logic.