Maths›03. Logic and Foundations4.1 Languages and SignaturesFormal languages, signatures, and symbols used to describe structures in first order logic.