bn:00377287n
Noun Concept
Categories: !Artigos que carecem de fontes sem indicação de tema, Lógica matemática
PT
Estrutura de Herbrand
PT
Em matemática, para uma linguagem L {\displaystyle {\mathcal {L}}}, define o Universo de Herbrand para o conjunto de condições básicas de L {\displaystyle {\mathcal {L}}}. Wikipedia
Definitions
Relations
Sources
PT
Em matemática, para uma linguagem L {\displaystyle {\mathcal {L}}}, define o Universo de Herbrand para o conjunto de condições básicas de L {\displaystyle {\mathcal {L}}}. Wikipedia
Wikipedia
Wikidata