Structure de Herbrand

concept

structure sur un vocabulaire σ qui est défini uniquement par les propriétés syntaxiques de σ

Propriétés