Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

mathématiques, logique, informatique ◊ logique dans laquelle les prédicats eux-mêmes sont des variables