/
  • Search Results for 'First Orderlogiclanguagefordescribingpropertiesofmathematicalstructures.preciseandrigorous.rulesandtechniquesforsoundinference.structure=(domain'