background

Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Geriadur Klok Klasket a-raok / Previous search eilenn
Klasket a-raok / Previous search eilenn
lojik eil urzh g. logique du second ordre
mathématiques informatique logique ◊ logique qui étend celle du premier ordre par l'ajout de variables relationnelles, qui peuvent donc être quantifiées
anglais : second-order logic