en many sorted logics (n)
― FormOf ⟶
Weight: 1.0
en many sorted logic Source: English Wiktionary