Arithmétique de Presburger

concept

théorie du premier ordre des nombres entiers naturels munis de l'addition

Propriétés

Mots liés