Ingen översättning hittades i den valda målspråket.

Din sökning innehåller flera ord. För bättre resultat, prova att söka orden separat: many-sorted, logic

Liknande ord

Definitioner

Substantiv

  1. (logic) A logic that directly supports classification of entities into disjunct sorts.

Böjningsformer

Pluralmany-sorted logics

Kategorier