First-orderlogicLanguagefordescribingpropertiesofMathematicalStructures.Preciseandrigorous.Rulesandtechniquesforsoundinference.Structure=(Domain Constants Functions