Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Klasket a-raok / Previous search urzhenn

lojik urzh uhel g. logique d'ordre supérieur: mathématiques , informatique , logique ◊ logique dans laquelle les prédicats eux-mêmes sont des variables

anglais : high-order logic