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

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