学科分类
/ 1
1 个结果
  • 简介:Inthispaper,theauthorspointoutanddemonstratethedifferenceoftheconceptsconcerningco-satisfiableandco-validbetweenonefirst-orderlanguageandtwofirst-orderlanguages,andputforwardtheconceptsaboutuniformco-identicaltruthanduniformco-satisfiability.Thussometheoremsinthebook“ACourseinMathematicalLogic”,writtenbyJ.L.BellandM.Machover,arecorrected.

  • 标签: mathematical logic PREDICATE CALCULUS semantic information