Term algebra
article-link
What links here
Jacques Herbrand
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
article-link
Ernest Vessiot
article-link
Herbrand–Ribet theorem
article-link
Herbrand
article-link
Analytical hierarchy
article-link
Scientific phenomena named after people
article-link
List of logicians
article-link
List of mathematical logic topics
article-link
Unification (computer science)
article-link
Scientific method
article-link
February 12
article-link
Church–Turing thesis
article-link
Automated theorem proving
article-link
Algorithm
article-link
Herbrand, J.
redirect