Herbrand's theorem (English, name)
expansion: Herbrand's theorem
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.
Forms: