Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Klasket a-raok / Previous search supérieur

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

anglais : high-order logic