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

mathématiques, logique, informatique ◊ logique dont les propositions sont précédées d'opérateurs de modalité qui en modifient l'interprétation