many-sorted logics

English

edit

Noun

edit

many-sorted logics

  1. plural of many-sorted logic