Herbrand's theorem
专有名词
英文释义
专有名词
- A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.
词源
Obtained by Jacques Herbrand (1930).
0 次浏览
数据来源: Wiktionary