Pages that link to "Biography:Jacques Herbrand"
From HandWiki
The following pages link to Biography:Jacques Herbrand:
Displayed 25 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Algorithm (← links)
- Herbrand interpretation (← links)
- Herbrand structure (← links)
- Term algebra (← links)
- List of mathematical logic topics (← links)
- List of mathematicians (H) (← links)
- Herbrand quotient (← links)
- Scientific method (← links)
- Unification (computer science) (← links)
- History of the Church–Turing thesis (← links)
- Automated theorem proving (← links)
- Herbrand's theorem (← links)
- Church–Turing thesis (← links)
- Heyting arithmetic (← links)
- Herbrand–Ribet theorem (← links)
- Timeline of class field theory (← links)
- Herbrand Award (← links)
- Basic Number Theory (← links)
- Herbrandization (← links)
- Philosophy:Rules of passage (logic) (← links)
- Biography:Rollo Davidson (← links)
- Biography:Ken Ribet (← links)
- Biography:List of logicians (← links)
- Biography:Burton Dreben (← links)
- Biography:Michael Genesereth (← links)