Term (first-order logic)

  1. redirectterm (logic)

{{R to alternate name}}