## User login## Navigation |
## Lectures on Jacques Herbrand as a LogicianWirth, Siekmann, Benzmueller & Autexier. Lectures on Jacques Herbrand as a Logician. SEKI Report SR-2009-01. Herbrand's work, more than that of any other, provides the intellectual foundations of logic programming. This very readable article discusses Herbrands' contributions to proof theory and the formulation of the idea of a recursive function, and most importantly to PL, his fundamental theorem that yields a semi-decision algorithm for first-order logic and his unification algorithm. |
## Browse archives## Active forum topics |

## Recent comments

12 hours 49 min ago

16 hours 8 min ago

2 days 10 hours ago

2 days 11 hours ago

2 days 18 hours ago

2 days 19 hours ago

3 days 4 hours ago

3 days 4 hours ago

3 days 4 hours ago

3 days 6 hours ago