structure de Herbrand

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

Nature : structure, concept mathématique

Catégories : concepts mathématiques · sciences · concepts abstraits

Mots du lexique : structure nom commun, Herbrand nom propre