Dictionnaire breton 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