FirstorderlogicLanguagefordescribingpropertiesofMathematicalStructuresPreciseandrigorousRulesandtechniquesforsoundinferenceStructureDomainConstantsFunctionsRelationsDomainSetofvaluesConsta ID: 380580
First-orderlogicLanguagefordescribingpropertiesofMathematicalStructures.Preciseandrigorous.Rulesandtechniquesforsoundinference.Structure=(Domain Constants Functions