Herbrand's theorem
Sign in to savereduction of first-order mathematical logic to propositional logic
Wikidata facts
- Instance of
- theorem
- Part of
- list of theorems
- Named after
- Jacques Herbrand
Show 2 more facts
- facet of
- mathematical logic
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0