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

mathématiques, informatique, logique ◊ logique qui étend celle du premier ordre par l'ajout de variables relationnelles, qui peuvent donc être quantifiées