Ontify
⌘
S
⌘
S
Herbrand's Theorem - Ontify
Share
Herbrand's Theorem
Reduction of first-order mathematical logic to propositional logic.
Wikipedia | Herbrand's Theorem
Statements about
Herbrand's Theorem
Named After
Instance Of
Facet Of
Part Of
Theorem
Mathematical Logic
Jacques Herbrand
List of Theorems
Language of Work or Name
:
English
