5. Equality and Function Application Rules

@inproceedings{Nicholls19995EA,
  title={5. Equality and Function Application Rules},
  author={John Nicholls},
  year={1999}
}
26 the descriptive power of RMIN and the simplicity of its semantics, they provide a powerful incentive for further investigation of RMIN in combination with ACL as the basis of a formal software development method. Notes 1. In fact it is only when using a typed theory that there is a problem with undeened terms. In untyped axiomatic set theory the… CONTINUE READING